NextPrevUpTopContentsIndex

1.4 Notation Conventions

Syntax will be presented in BNF. Any other non-standard notation will be explained as used.

::=

introduces a definition

<..>

token, or non-terminal symbol

[..]

delimits optional items

*

0 or more repetitions of the previous token

+

1 or more repetitions of the previous token

|

separates alternatives

 


KnowledgeWorks and Prolog User Guide (Unix version) - 11 Jul 2006

NextPrevUpTopContentsIndex