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