ISO-compliant Prolog
