Convex Hull Analyser for logic programs - Information: John P. Gallagher & Kim S. Henriksen Implementation based on the following programming tools: Ciao Prolog - Parma Polyhedra Library Related Publications.