Package Interpreter.PrologInterpreter.Sexp.Infix

Class Summary
AndSexp Un oggetto AndSexp è un termine con funtore ",".
ClauseSexp Un oggetto ClauseSexp è una clausola Prolog.
EqualSexp Un oggetto EqualSexp è una S-expression costruita con l'operatore relazionale ==.
InfixSexp Un oggetto InfixSexp è un termine costituito da un operatore infisso a due argomenti e dai suoi due argomenti.
IsSexp Un oggetto IsSexp è una S-expression con l'operatore "is".
NotEqualSexp Un oggetto NotEqualSexp è una S-expression costruita con l'operatore relazionale \==.
OrSexp Un oggetto AndSexp è un termine con funtore ";".
TermToListSexp Un oggetto TermToListSexp è una S-expression costruita con l'operatore "=..".
UnifySexp Un oggetto UnifySexp è una S-expression con l'operatore "=" (unificazione).
 



Codice realizzato da Francesco Geri & Marco Tamanti