The Arity/Prolog32 Language

This book does not attempt to teach you how to program in Prolog.  If you are new to Prolog programming, you should refer to one of the books listed in the Suggested Readings section.

The Program structure and data types section describes some important extensions that Arity/Prolog32 implements for atomic data types.

The Program control section likewise describes some useful extensions to the constructs that Arity/Prolog32 programs may use: particularly the snips and the case constructs.

Arity/Prolog32 provides many built-in predicates that are not available in other Prolog implementations.  The documentation has been organized to group functionally related predicates.  A complete summary of all built-in predicates is provided in the List of all Arity/Prolog32 predicates section.