|
Class Summary |
| ArgsSexp |
Un oggetto ArgsSexp è una S-expression non atomica.
|
| CutSexp |
Un oggetto CutSexp è una S-expression non atomica rappresentante
il predicato prolog cut. |
| DottedClauseSexp |
Un oggetto DottedClauseSexp è una S-expression non atomica rappresentante
una clausola Prolog con punto finale.
|
| DottedQuerySexp |
Un oggetto QuerySexp è una S-expression non atomica rappresentante
una query Prolog.
|
| DottedTermSexp |
Un oggetto TermSexp è una S-expression non atomica.
|
| FailSexp |
Un oggetto FailSexp è una S-expression non atomica rappresentante
il predicato fail di fallimento. |
| ListingSexp |
Un oggetto ListingSexp è il predicato predefinito listing. |
| NilListSexp |
Un oggetto NilListSexp è la lista vuota []. |
| NlSexp |
Un oggetto NlSexp è una S-expression non atomica rappresentante
il predicato prolog nl. |
| NoArgsSexp |
Un oggetto NoArgsSexp è un termine prolog con 0 argomenti. |
| TermSexp |
Un oggetto TermSexp è un termine prolog, dove termine è utilizzato nella
sua accezione più generale. |
| VarSexp |
Un VarSexp è una variabile. |