Term Syntax

This syntax describes the grammar that forms terms from token sequences. The syntax follows mainly the ISO core Prolog standard [2] [3]. We also incorporate some syntax extensions as known from SWI-Prolog-7 [6]. We find the following topics:

Kommentare