Prolog: The Standard: Reference Manual