ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine
Interface LogicGoal

All Superinterfaces:
LogicObject
All Known Subinterfaces:
LogicAtom, LogicFunctor, LogicTerm
All Known Implementing Classes:
LogicConjunctiveGoal, LogicDisjunctiveGoal, LogicEqualGoal, LogicNegativeGoal

public interface LogicGoal
extends LogicObject

Prolog-like goal, i.e. body of a clause.


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