PPL Prolog Language Interface 0.12
Prolog Language Interface

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