SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system