PPL Prolog Language Interface  0.12.1
Prolog Language Interface

The Parma Polyhedra Library comes equipped with an interface for the Prolog language.