SWI-Prolog syntax is close to ISO-Prolog standard syntax, which is based on the Edinburgh Prolog syntax. A formal description can be found in the ISO standard document. For an informal introduction we refer to Prolog text books (see section 1) and online tutorials. In addition to the differences from the ISO standard documented here, SWI-Prolog offers several extensions, some of which also extend the syntax. See section 5 for more information.
This section lists various extensions w.r.t. the ISO Prolog syntax.
The processor character set specifies the class of each character used for parsing Prolog source text. Character classification is fixed to Unicode. See also section 2.19.
SWI-Prolog allows for nesting /* ... */ comments. Where
the ISO standard accepts /* ... /* ... */ as a comment,
SWI-Prolog will search for a terminating */. This is useful
if some code with /* ... */ comment statements in it should
be commented out. This modification also avoids unintended commenting in
the example below, where the closing */ of the first
comment has been forgotten.23Recent
copies of GCC give a style warning if /* is encountered in
a comment, which suggests that this problem has been recognised more
widely.
/* comment code /* second comment */ code
Within quoted atoms (using single quotes: '<atom>')
special characters are represented using escape sequences. An escape
sequence is led in by the backslash (\syntax_error
exception.24Up to SWI-Prolog 6.1.9,
undefined escape characters were copied verbatim, i.e., removing the
backslash.
\a\b\c
format('This is a long line that looks better if it was \c
split across multiple physical lines in the input')
\<NEWLINE>\c. We
advise using \c or putting the layout before the \\c is supported by various other Prolog implementations and
will remain supported by SWI-Prolog. The style shown below is the most
compatible solution.25Future
versions will interpret \
format('This is a long line that looks better if it was \
split across multiple physical lines in the input')
instead of
format('This is a long line that looks better if it was\
split across multiple physical lines in the input')
Note that SWI-Prolog also allows unescaped newlines to appear in quoted material. This is not allowed be the ISO standard, but used to be common practice before.
\e\f\n\r\s0'\s to get the
character code of the space character. Not ISO.\t\v\xXX..\\ is
obligatory according to the ISO standard, but optional in SWI-Prolog to
enhance compatibility with 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\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 \\UXXXXXXXX\uXXXX, but using 8 digits to cover the whole
Unicode set.\40\\'\\' is an atom
consisting of a single \\''\'' and '''' both
describe the atom with a single ', i.e., '\'' == ''''
is true.\"\`
Character escaping is only available if
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 as octal 40 (decimal 32) by read. Also, the writef/2
sequence
\l is illegal. 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').
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.
SWI-Prolog supports splitting long integers into digit groups. Digit groups can be separated with the sequence <underscore>, <optional white space>. If the <radix> is 10 or lower, they may also be separated with exactly one space. The following all express the integer 1 million:
1_000_000 1 000 000 1_000_/*more*/000
Integers can be printed using this notation with format/2,
using the
~I format specifier. For example:
?- format('~I', [1000000]).
1_000_000
The current syntax has been proposed by Ulrich Neumerkel on the SWI-Prolog mailinglist.
SWI-Prolog supports reading and printing `special' floating point values according to Proposal for Prolog Standard core update wrt floating point arithmetic by Joachim Schimpf and available in ECLiPSe Prolog. In particular,
1.0Inf or -1.0Inf.
Any sequence matching the regular expression [+-]?\sd+[.]\sd+Inf
is mapped to plus or minus infinity.
NaN (Not a Number) is printed as 1.xxxNaN,
where
1.xxx is the float after replacing the exponent by `1'. Such
numbers are read, resulting in the same NaN. The
NaN constant can also be produced using the function
nan/0, e.g.,
?- A is nan. A = 1.5NaN.
Note that, compliant with the ISO standard, SWI-Prolog arithmetic (see section 4.27) never returns one of the above values but instead raises an exception, e.g.,
?- A is 1/0. ERROR: //2: Arithmetic: evaluation error: `zero_divisor'
There is one exception to this rule. For compatibility the functions
inf/0 and nan/0
return 1.0Inf and the default system NaN. The
ability to create, read and write such values is primarily provided to
exchange data with languages that can represent the full range of IEEE
doubles.
According to the ISO standard and most Prolog systems, identifiers
that start with an uppercase letter or an underscore are variables. In
the past, Prolog by BIM provided an alternative syntax, where
only the underscore (_) introduces a variable. As of
SWI-Prolog 7.3.27 SWI-Prolog supports this alternative syntax,
controlled by the Prolog flag var_prefix.
As the character_escapes
flag, this flag is maintained per module, where the default is
false, supporting standard syntax.
Having only the underscore introduce a variable is particularly useful if code contains identifiers for case sensitive external languages. Examples are the RDF library where code frequently specifies property and class names26Samer Abdallah suggested this feature based on experience with non-Prolog users using the RDF library. and the R interface for specifying functions or variables that start with an uppercase character. Lexical databases were part of the terms start with an uppercase letter is another category were the readability of the code improves using this option.
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 6.0.0 of the Unicode standard. Please note 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.
\uXXXX and \UXXXXXXXX (see
section 2.16.1.3)
were introduced to specify Unicode code points in ASCII files.
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 have the notion
of character case. In such languages variables must be written
as
_name.
==
Other characters (this is mainly No: a numeric
character of other type) are currently handled as `solo'.
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 that a
variable is meant 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.28After a proposal by Richard O'Keefe. First we define the two classes of named variables.
__) or a
single underscore followed by an uppercase letter, e.g., __var
or
_Var.
_var
a normal variable.29Some Prolog
dialects write variables this way.Any normal variable appearing exactly once in the clause and any named singleton variables appearing more than once are reported. Below are some examples with warnings in the right column. Singleton messages can be suppressed using the style_check/1 directive.
| test(_). | |
| test(_a). | Singleton variables: [_a] |
| test(_12). | Singleton variables: [_12] |
| test(A). | Singleton variables: [A] |
| test(_A). | |
| test(__a). | |
| test(_, _). | |
| test(_a, _a). | |
| test(__a, __a). | Singleton-marked variables appearing more than once: [__a] |
| test(_A, _A). | Singleton-marked variables appearing more than once: [_A] |
| test(A, A). |
Semantic singletons
Starting with version 6.5.1, SWI-Prolog has syntactic singletons
and semantic singletons. The first are checked by
read_clause/3
(and read_term/3
using the option
singletons(warning)). The latter are generated by the
compiler for variables that appear alone in a branch. For
example, in the code below the variable X is not a syntactic
singleton, but the variable X does not communicate any
bindings and replacing
X with _ does not change the semantics.
test :-
( test_1(X)
; test_2(X)
).