Class RelExpr

All Implemented Interfaces:
LogicalFormula, Term, ToDOM, ToJson, Serializable, Cloneable, 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.
See Also: