ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine
Interface LogicTerm

All Superinterfaces:
LogicGoal, LogicObject
All Known Subinterfaces:
LogicAtom, LogicFunctor
All Known Implementing Classes:
LogicVariable

public interface LogicTerm
extends LogicGoal

Prolog-like term.


Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicObject
equals, hashCode, toString