All Manuals > KnowledgeWorks and Prolog User Guide > 1 Introduction

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/8-0-0-0/examples/. You can simply evaluate the given form to view the example source file.

The examples files are in a read-only directory and therefore you should compile them inside the IDE (by the Editor command Compile Buffer or the toolbar button or by choosing Buffer > Compile from the context menu), so it does not try to write a fasl file.

If you want to manipulate an example file or compile it on the disk rather than in the IDE, then you need first to copy the file elsewhere (most easily by using the Editor command Write File or by choosing File > Save As from the context menu).

1.2.3 Appearance of the graphical tools

Screenshots in this manual show the KnowledgeWorks tools running on Linux under GTK+ with a particular window manager and theme. So if you use GTK+ with a different window manager or theme, or Motif, you should expect a different appearance from that depicted here.

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 (Unix version) - 01 Dec 2021 19:35:47