| Constant terms are like individuals in formal logic. A constant term is a kind of wrapper
around a certain object. By default, the class of the object is the type of this constant term.
The type can also be set using the setType() method, e.g. in case the class of the object is
a private implementation class but the type should be the public interface it implements.
If the object and the type are not consistent (i.e., if the object is not an instance of the
type), an illegal argument exception is throws.
Since this objects can also be facts, terms etc., higher level predicate logic
can be expressed.
See Also: org.mandarax.kernel.VariableTerm See Also: org.mandarax.kernel.ComplexTerm author: Jens Dietrich version: 3.4 <7 March 05> since: 1.0 |