Package Interpreter.PrologInterpreter

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.
 



Codice realizzato da Francesco Geri & Marco Tamanti