ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine
Interface LogicAtom

All Superinterfaces:
LogicFunctor, LogicGoal, LogicObject, LogicTerm
All Known Implementing Classes:
LogicCutAtom, LogicIntegerAtom, LogicFalseAtom, LogicIdAtom, LogicTrueAtom

public interface LogicAtom
extends LogicFunctor

Prolog-like atom.


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