Class RelExpr

All Implemented Interfaces:
LogicalFormula, Term, ToDOM, ToJson, java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<Term>

public class RelExpr
extends BinaryStructure
implements LogicalFormula
Represents a relational expression like 10 > 20. When the operator is =.., the first argument is a literal and the second as list, e.g.: Literal =.. [functor, list of terms, list of annots] Examples:
  • X =.. [~p, [t1, t2], [a1,a2]]
    X is ~p(t1,t2)[a1,a2]
  • ~p(t1,t2)[a1,a2] =.. X
    X is [~p, [t1, t2], [a1,a2]]
in case the list has fourth terms, the first term is the namespace.
Author:
Jomi
See Also:
Serialized Form