All Manuals > KnowledgeWorks and Prolog User Guide > 1 Introduction

NextPrevUpTopContentsIndex

1.2 Notation and conventions

1.2.1 Prolog syntax

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

1.2.2 Viewing example files

This manual sometimes refers to example files in the LispWorks library via a Lisp form like this:

(example-edit-file "kw/animal/defsystem")

These examples are Lisp source files in your LispWorks installation under lib/7-0-0-0/examples/. You can simply evaluate the given form to view the example source file.

1.2.3 Appearance of the graphical tools

Please note that your windows may differ in some respects from the illustrations given in this manual. This is because some details are controlled by the window manager that you are using, not by LispWorks itself.

The screenshots in this manual show toolbars that may have been customized (using the context menu) so you might see some differences from your setup.

 


KnowledgeWorks and Prolog User Guide (Windows version) - 26 Feb 2015

NextPrevUpTopContentsIndex