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 (Macintosh version) - 6 Dec 2011