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 |