ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine
Interfaces
LogicAtom
LogicFunctor
LogicGoal
LogicObject
LogicTerm
Classes
LogicClause
LogicConjunctiveGoal
LogicCutAtom
LogicDisjunctiveGoal
LogicEngine
LogicEqualGoal
LogicFalseAtom
LogicIdAtom
LogicIntegerAtom
LogicList
LogicNegativeGoal
LogicParamAtom
LogicTrueAtom
LogicUnification
LogicVariable