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