|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |