The Parma Polyhedra Library Prolog Language Interface Developer’s Manual ∗ (version 1.0) | AMiner