Package jtp.fol

Provides classes representing structures of first order logic.

See:
Description

Interface Summary

Clause	A disjunction of Literals.
CNFSentence	A sentence in Conjunctive Normal Form, i.e., a conjunction of Clauses.
Literal	This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).
Unifyable	This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Class Summary

CanonicalVariables
DefaultClause	Default implementation of Clause.
DefaultCNFSentence	Default implementation of CNFSentence.
DefaultLiteral	Default implementation of Literal.
SubstitutableList	A List that can substitute any of its elements with other objects from a substitution mapping.
SubstUtils	Utility methods for use with instances of Substitutable and its subclasses.
Symbol	A constant atomic symbol.
UnifyableList	A List that implements the Unifyable interface.
Variable	A Variable can be bound to (substituted with) some other Object.
Variable.NameComparator

Package jtp.fol Description

Provides classes representing structures of first order logic. In this implementation, all sentences are held in CNF (Conjunctive Normal Form), i.e., every sentence is represented as a conjunction of one or more clauses. Every clause is represented as a disjunction of one or more literals. Every literal is defined by its relation symbol, polarity (whether or not the literal is negated), and arguments. Literal's arguments can be symbols, variables, numbers, strings or any other objects.