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