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:

• System-Independent Features
  • Overview
  • Predicate Specifications
  • Domain Independent Predicates
  • Predicates for MIP_Problem
  • Predicates for PIP_Problem
  • Predicates for C Polyhedra
  • Ad hoc Predicates for Other Domains
• Compilation and Installation
• System-Dependent Features
  • GNU Prolog
  • CIAO Prolog
  • SICStus Prolog
  • SWI Prolog
  • XSB
  • YAP

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