|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
NotAtomicExpr | Deve essere implementata dalle espressioni aritmetiche non atomiche. |
NotCallable | Deve essere implementata dai termini prolog non callable. |
Class Summary | |
EvalSexpVisitor | Un oggetto SexpVisitor realizza un Pattern Visitor per una s-expression. |
PrologSexpVisitor | Un oggetto SexpVisitor realizza un Pattern Visitor per una s-expression. |
SexpUnifier | La classe Unifier realizza un algoritmo per l'unificazione. |
StructureSexpVisitor | Un oggetto SexpVisitor realizza un Pattern Visitor per una s-expression. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |