PPL Prolog Language Interface  1.1pre9
Prolog Language Interface

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