|
Class Summary |
| ClauseVector |
La classe ClauseVector è identica alla classe java.util.Vector.
|
| CompleteDerefVisitor |
Visitor che ricrea un termine prolog dereferenziando le variabili e valutandole.
|
| DataBase |
Database contenente termini e clausole prolog. |
| DerefVisitor |
Visitor che ricrea un termine prolog dereferenziando le variabili.
|
| EngineSexpVisitor |
Un oggetto EngineSexpVisitor realizza un Pattern Visitor per una s-expression.
|
| EvalVisitor |
Un oggetto EvalVisitor realizza un Pattern Visitor per una s-expression.
|
| NewParser |
Analizzatore sintattico (AS) per linguaggio Prolog.
|
| OpSexp |
Un oggetto OpSexp è un operatore. |
| RenameVisitor |
Visitor che ricrea un termine prolog rinominandone le variabili.
|
| SetOps |
Un oggetto SetOps serve ad inizializzare le tabelle degli operatori e dei termini predefiniti. |
| Unifier |
La classe Unifier realizza un algoritmo per l'unificazione.
|