PPL Configured Prolog Language Interface  1.2
Prolog Language Interface

The Parma Polyhedra Library comes equipped with a Prolog interface. Despite the lack of standardization of Prolog's foreign language interfaces, the PPL Prolog interface supports several Prolog systems and, to the extent this is possible, provides a uniform view of the library from each such system.

The structure of the Prolog interface manual is as follows:

In all the Prolog interface documentation pages, prefix is the prefix under which you have installed the library (typically /usr or /usr/local).