SICStus Prolog Based on