Next: Types, Previous: Introduction, Up: Top [Contents]
| • Syntax overview: | ||
| • Character set: | ||
| • Whitespace: | ||
| • Tokens: | ||
| • Terms: | ||
| • Builtin operators: | ||
| • Items: | ||
| • Declarations: | ||
| • Facts: | ||
| • Rules: | ||
| • Goals: | ||
| • State variables: | ||
| • DCG-rules: | ||
| • DCG-goals: | ||
| • Data-terms: | ||
| • Variable scoping: | ||
| • Implicit quantification: | ||
| • Elimination of double negation: |