KnowledgeWorks and Prolog User Guide > 1 Introduction

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) - 22 Dec 2009

NextPrevUpTopContentsIndex