PPL Prolog Language Interface 1.0
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