Package Interpreter.PrologInterpreter.Sexp.Utils

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.
 



Codice realizzato da Francesco Geri & Marco Tamanti