Package ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine

Interface Summary
LogicAtom Prolog-like atom.
LogicFunctor Prolog-like functor.
LogicGoal Prolog-like goal, i.e. body of a clause.
LogicObject Prolog-like logic object.
LogicTerm Prolog-like term.
 

Class Summary
LogicClause Prolog-like clause.
LogicConjunctiveGoal Prolog-like conjunctive goals.
LogicCutAtom Prolog-like cut atom.
LogicDisjunctiveGoal Prolog-like dijunctive goals.
LogicEngine Prolog-like logic engine.
LogicEqualGoal Prolog-like equal goals.
LogicFalseAtom Prolog-like false atom.
LogicIdAtom Prolog-like identifier atom.
LogicIntegerAtom Prolog-like integer atom.
LogicList Prolog-like list.
LogicNegativeGoal Prolog-like negative goals.
LogicParamAtom Prolog-like atom with parameters.
LogicTrueAtom Prolog-like true atom.
LogicUnification Prolog-like unification set.
LogicVariable Prolog-like variable.