Added Symbol.java, the basis of symbolic reasoning in this system.  A Symbol follows the Herbrand interpretation, and is merely a (Java) String that represents itself.
Added Symbol.java, the basis of symbolic reasoning in this system.  A
Symbol follows the Herbrand interpretation, and is merely a (Java)
String that represents itself.

See: http://en.wikipedia.org/wiki/Herbrand_interpretation
recardona/Java-FOPL,chamakits/Java-FOPL,chamakits/Java-FOPL,recardona/Java-FOPL