2.15 Syntax Notes

SWI-Prolog uses ISO-Prolog standard syntax, which is closely compatible to Edinburgh Prolog syntax. A description of this syntax can be found in the Prolog books referenced in the introduction. Below are some non-standard or non-common constructs that are accepted by SWI-Prolog:

• 0'<char>
  This construct is not accepted by all Prolog systems that claim to have Edinburgh compatible syntax. It describes the character code of <char>. To test whether C is a lower case character one can use between(0'a, 0'z, C). If character codes are enabled (default) <char> can use \ escape sequences. The sequence 0'\t represents the tab character using symbolic notation.

• /* ... /* ... */ ... */
  The /* ... */ comment statement can be nested. This is useful if some code with /* ... */ comment statements in it should be commented out.

2.15.1 ISO Syntax Support

SWI-Prolog offers ISO compatible extensions to the Edinburgh syntax.

2.15.1.1 Processor Character Set

The processor character set specifies the class of each character used for parsing Prolog source text. Character classification is fixed to use UCS/Unicode as provided by the C-library wchar_t based primitives. See also section 2.17.

2.15.1.2 Character Escape Syntax

Within quoted atoms (using single quotes: '<atom>' special characters are represented using escape-sequences. An escape sequence is lead in by the backslash (\) character. The list of escape sequences is compatible with the ISO standard, but contains one extension and the interpretation of numerically specified characters is slightly more flexible to improve compatibility.

\a

Alert character. Normally the ASCII character 7 (beep).

\b

Backspace character.

\c

No output. All input characters up to but not including the first non-layout character are skipped. This allows for the specification of pretty-looking long lines. For compatibility with Quintus Prolog. Not supported by ISO. Example:

format('This is a long line that would look better if it was \c
       split across multiple physical lines in the input')

\<RETURN>

No output. Skips input till the next non-layout character or to the end of the next line. Same intention as \c but ISO compatible.

\f

Form-feed character.

\n

Next-line character.

\r

Carriage-return only (i.e. go back to the start of the line).

\t

Horizontal tab-character.

\v

Vertical tab-character (ASCII 11).

\xXX..\

Hexadecimal specification of a character. The closing \ is obligatory according to the ISO standard, but optional in SWI-Prolog to enhance compatibility to the older Edinburgh standard. The code \xa\3 emits the character 10 (hexadecimal `a') followed by `3'. Characters specified this way are interpreted as Unicode characters. See also \u.

\uXXXX

Unicode character specification where the character is specified using exactly 4 hexadecimal digits. This is an extension to the ISO standard fixing two problems. First of all, where \x defines a numeric character code, it doesn't specify the character set in which the character should be interpreted. Second, it is not needed to use the idiosyncratic closing \ ISO Prolog syntax.

\UXXXXXXXX

Same as \uXXXX, but using 8 digits to cover the whole Unicode set.

\40

Octal character specification. The rules and remarks for hexadecimal specifications apply to octal specifications as well.

\<character>

Any character immediately preceded by a \ and not covered by the above escape sequences is copied verbatim. Thus, '\\' is an atom consisting of a single \ and '\'' and '''' both describe the atom with a single '.

Character escaping is only available if the current_prolog_flag(character_escapes, true) is active (default). See current_prolog_flag/2. Character escapes conflict with writef/2 in two ways: \40 is interpreted as decimal 40 by writef/2, but character escapes handling by read has already interpreted as 32 (40 octal). Also, \l is translated to a single `l'. It is advised to use the more widely supported format/[2,3] predicate instead. If you insist upon using writef/2, either switch character_escapes to false, or use double \\, as in writef('\\l').

2.15.1.3 Syntax for non-decimal numbers

SWI-Prolog implements both Edinburgh and ISO representations for non-decimal numbers. According to Edinburgh syntax, such numbers are written as <radix>'<number>, where <radix> is a number between 2 and 36. ISO defines binary, octal and hexadecimal numbers using 0[bxo]<number>. For example: A is 0b100 \/ 0xf00 is a valid expression. Such numbers are always unsigned.

2.15.1.4 Unicode Prolog source

The ISO standard specifies the Prolog syntax in ASCII characters. As SWI-Prolog supports Unicode in source files we must extend the syntax. This section describes the implication for the source files, while writing international source files is described in section 3.1.3.

The SWI-Prolog Unicode character classification is based on version 4.1.0 of the Unicode standard. Please that char_type/2 and friends, intended to be used with all text except Prolog source code is based on the C-library locale-based classification routines.

• Quoted atoms and strings
  Any character of any script can be used in quoted atoms and strings. The escape sequences \uXXXX and \UXXXXXXXX (see section 2.15.1.2) were introduced to specify Unicode code points in ASCII files.

• Atoms and Variables
  We handle them in one item as they are closely related. The Unicode standard defines a syntax for identifiers in computer languages.^{7http://www.unicode.org/reports/tr31/} In this syntax identifiers start with ID_Start followed by a sequence of ID_Continue codes. Such sequences are handled as a single token in SWI-Prolog. The token is a variable iff it starts with an uppercase character or an underscore (_). Otherwise it is an atom. Note that many languages do not not have the notion of character-case. In such languages variables must be written as _name.

• White space
  All characters marked as separators in the Unicode tables are handled as layout characters.

• Other characters
  The first 128 characters follow the ISO Prolog standard. All other characters not covered by the rules above are considered `solo' characters: they form single-character atoms. We would like to have a more appropriate distinction between what is known to Prolog as `solo' characters and `symbol' characters.

2.15.1.5 Singleton variable checking

A singleton variable is a variable that appears only one time in a clause. It can always be replaced by _, the anonymous variable. In some cases however people prefer to give the variable a name. As mistyping a variable is a common mistake, Prolog systems generally give a warning (controlled by style_check/1) if a variable is used only once. The system can be informed a variable is known to appear once by starting it with an underscore. E.g. _Name. Please note that any variable, except plain _ shares with variables of the same name. The term t(_X, _X) is equivalent to t(X, X), which is different from t(_, _).

As Unicode requires variables to start with an underscore in many languages this schema needs to be extended.^{8After a proposal by Richard O'Keefe.} First we define the two classes of named variables.

• Named singleton variables
  Named singletons start with a double underscore (__) or a single underscore followed by an uppercase letter. E.g. __var or _Var.

• Normal variables
  All other variables are `normal' variables. Note this makes _var a normal variable.^{9Some Prolog dialects write variables this way.}

Any normal variable appearing exactly ones in the clause and any named singleton variables appearing more than once are reported. Below are some examples with warnings in the right column.