PPL Prolog Language Interface  1.0
Prolog Language Interface

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