The documentation of the Prolog predicates: ppl_Polyhedron_contains_Polyhedron/2 and ppl_Polyhedron_strictly_contains_Polyhedron/2 is not correct: "is included" should be contains (as it in the C interface docs). -- Samir