[http://www.sics.se/isl/sicstuswww/site/index.html SICStus] Prolog is a state-of-the-art, ISO standard compliant, Prolog development system