sjm.engine
Interface ComparisonTerm

All Known Subinterfaces:

ArithmeticTerm

All Known Implementing Classes:

Atom, Variable

public interface ComparisonTerm

extends Term

This marker interface indicates a type of term that can participate in a comparison, including atoms, arithmetic expressions, and variables.

Methods inherited from interface sjm.engine.Term

copyForProof, eval, isList, listTailString, unify, unify, unify, variables