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