PPL Prolog Language Interface 0.11.1

Prolog Language Interface

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