ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine
Interface LogicFunctor

All Superinterfaces:
LogicGoal, LogicObject, LogicTerm
All Known Subinterfaces:
LogicAtom
All Known Implementing Classes:
LogicList, LogicParamAtom, LogicClause

public interface LogicFunctor
extends LogicTerm

Prolog-like functor. A functor is an aotm, or an atom with parameters, or a clause.


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