|
|||||||||
| 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 | ||||||||