Title: SICStus Prolog User's Manual 4.3