Next: , Previous: Introduction, Up: Top [Contents]

2 Syntax

• 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:

AltStyle によって変換されたページ (->オリジナル) /