kibi-swipl-linux-x64-gnu 1.0.0

package/lib/swipl/library/dialect/sicstus4/system.pl

@@ -0,0 +1,80 @@
+/*  Part of SWI-Prolog
+
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2020, SWI-Prolog Solutions b.v.
+    All rights reserved.
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions
+    are met:
+
+    1. Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+
+    2. Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in
+       the documentation and/or other materials provided with the
+       distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+    POSSIBILITY OF SUCH DAMAGE.
+*/
+
+:- module(sicstus4_system,
+	  [ environ/2,			% ?Name, ?Value
+	    environ/3			% ?Name, ?Value, +Source
+	  ]).
+:- reexport('../sicstus/system',
+	    [ now/1,
+	      datime/1,
+	      datime/2,
+	      sleep/1
+	    ]).
+
+:- multifile sicstus4:rename_module/2.
+
+sicstus4:rename_module(system, sicstus4_system).
+
+/** <module> SICStus 4-compatible library(system).
+
+@see	https://sicstus.sics.se/sicstus/docs/4.6.0/html/sicstus.html/lib_002dsystem.html
+*/
+
+%%	environ(?Name, ?Value) is nondet.
+%%	environ(?Name, ?Value, +Source) is nondet.
+%
+%	True if Value is an atom associated with the environment variable
+%	or system property Name.
+%
+%	Source may be =properties= (to get only system properties),
+%	=environment= (to get only environment variables),
+%	or =merged= (the default, to get both, with system properties
+%	taking precedence over environment variables of the same name).
+%
+%	@tbd	Mode -Name is not supported.
+%
+%		Because SWI-Prolog doesn't have an obvious equivalent to
+%		SICStus system properties, these predicates currently
+%		behave as if no system properties are defined,
+%		i. e. only environment variables are returned.
+%
+%	@compat SICStus 4
+
+environ(_Name, _Value, properties) :- fail.
+environ(Name, Value, environment) :- getenv(Name, Value).
+environ(Name, Value, mixed) :-
+	(   environ(Name, Value, properties)
+	->  true
+	;   environ(Name, Value, environment)
+	).
+environ(Name, Value) :- environ(Name, Value, mixed).

package/lib/swipl/library/dialect/sicstus4/terms.pl

@@ -0,0 +1,89 @@
+/*  Part of SWI-Prolog
+
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2020, SWI-Prolog Solutions b.v.
+    All rights reserved.
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions
+    are met:
+
+    1. Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+
+    2. Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in
+       the documentation and/or other materials provided with the
+       distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+    POSSIBILITY OF SUCH DAMAGE.
+*/
+
+:- module(sicstus4_terms,
+	  [ term_variables_set/2,	% @Term, -Variables
+	    subsumeschk/2,		% +Generic, @Specific
+	    term_order/3		% @X, @Y, -R
+	  ]).
+:- reexport('../sicstus/terms').
+:- reexport('../../occurs',
+	    [ contains_term/2,
+	      free_of_term/2,
+	      occurrences_of_term/3,
+	      contains_var/2,
+	      free_of_var/2,
+	      occurrences_of_var/3,
+	      sub_term/2
+	    ]).
+
+:- multifile sicstus4:rename_module/2.
+
+sicstus4:rename_module(terms, sicstus4_terms).
+
+/** <module> SICStus 4-compatible library(terms).
+
+@tbd	This library is incomplete.
+	As of SICStus 4.6.0, the following predicates are missing:
+
+	* term_hash/3
+	* depth_bound/2
+	* length_bound/2
+	* size_bound/2
+	* term_depth/2
+
+@see	https://sicstus.sics.se/sicstus/docs/4.6.0/html/sicstus.html/lib_002dterms.html
+*/
+
+%%	term_variables_set(@Term, -Variables) is det.
+%
+%	Same as term_variables_bag/2, but Variables is an ordered set.
+
+term_variables_set(Term, Variables) :-
+	term_variables(Term, VariablesBag),
+	sort(VariablesBag, Variables).
+
+%%	subsumeschk(+Generic, @Specific) is semidet.
+%
+%	SICStus 4 name of subsumes_chk/2.
+%
+%	@deprecated Replace by subsumes_term/2.
+
+subsumeschk(Generic, Specific) :- subsumes_chk(Generic, Specific).
+
+%%	term_order(@X, @Y, -R) is det.
+%
+%	Same as compare/3, except for the order of arguments.
+%
+%	@deprecated Use the standard compare/3 instead.
+
+term_order(X, Y, R) :- compare(R, X, Y).

package/lib/swipl/library/dialect/sicstus4/timeout.pl

@@ -0,0 +1,43 @@
+/*  Part of SWI-Prolog
+
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2020, SWI-Prolog Solutions b.v.
+    All rights reserved.
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions
+    are met:
+
+    1. Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+
+    2. Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in
+       the documentation and/or other materials provided with the
+       distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+    POSSIBILITY OF SUCH DAMAGE.
+*/
+
+:- module(sicstus4_timeout, []).
+:- reexport('../sicstus/timeout').
+
+:- multifile sicstus4:rename_module/2.
+
+sicstus4:rename_module(timeout, sicstus4_timeout).
+
+/** <module> SICStus 4-compatible library(timeout).
+
+@see	https://sicstus.sics.se/sicstus/docs/4.6.0/html/sicstus/lib_002dtimeout.html
+*/

package/lib/swipl/library/dialect/sicstus4/types.pl

@@ -0,0 +1,103 @@
+/*  Part of SWI-Prolog
+
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2021, SWI-Prolog Solutions b.v.
+    All rights reserved.
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions
+    are met:
+
+    1. Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+
+    2. Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in
+       the documentation and/or other materials provided with the
+       distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+    POSSIBILITY OF SUCH DAMAGE.
+*/
+
+:- module(types,
+	  [ must_be/4,			% +Term, +Type, +Goal, +ArgNo
+	    illarg/3,			% +ErrorTerm, +Goal, +ArgNo
+	    illarg/4			% +ErrorTerm, +Goal, +ArgNo, +Culprit
+	  ]).
+:- use_module(library(error)).
+
+/** <module> SICStus 4 library(types).
+
+@see	https://sicstus.sics.se/sicstus/docs/4.6.0/html/sicstus/lib_002dtypes.html
+*/
+
+%!	must_be(+Term, +Type, +Goal, +ArgNo) is det.
+%
+%	Similar to must_be/2. This emulation currently only accepts
+%	types that SWI-Prolog must_be/2 understands natively.
+%
+%	The Goal and ArgNo arguments are currently ignored.
+
+must_be(Term, Type, _Goal, _ArgNo) :- must_be(Type, Term).
+
+%!	illarg(+ErrorTerm, +Goal, +ArgNo) is det.
+%
+%	Same as illarg/4, with Culprit set to argument number ArgNo
+%	of Goal. The Goal and ArgNo arguments are otherwise not included
+%	in the thrown error.
+
+illarg(ErrorTerm, Goal, ArgNo) :-
+	arg(ArgNo, Goal, Culprit),
+	illarg(ErrorTerm, Goal, ArgNo, Culprit).
+
+%!	illarg(+ErrorTerm, +Goal, +ArgNo, +Culprit) is det.
+%
+%	Throw a SICStus standard error described by ErrorTerm.
+%	If possible, errors are thrown in the corresponding SWI-Prolog
+%	format using library(error). If a SICStus error has no
+%	SWI-Prolog counterpart, it is thrown in the same format that
+%	SICStus would use.
+%
+%	The Goal and ArgNo arguments are currently always ignored.
+%	Depending on the requested error type, Culprit and/or parts of
+%	ErrorTerm may also be ignored.
+
+illarg(var, _Goal, _ArgNo, Culprit) :-
+	instantiation_error(Culprit).
+illarg(type(ErrorType), Goal, ArgNo, Culprit) :-
+	% Equivalent according to SICStus docs.
+	must_be(Culprit, ErrorType, Goal, ArgNo).
+illarg(domain(ErrorType, ErrorDomain), Goal, ArgNo, Culprit) :-
+	must_be(Culprit, ErrorType, Goal, ArgNo),
+	domain_error(ErrorDomain, Culprit).
+illarg(force_type(ExpType), _Goal, _ArgNo, Culprit) :-
+	type_error(ExpType, Culprit).
+illarg(context(ContextType, CommandType), _Goal, _ArgNo, _Culprit) :-
+	throw(error(context_error(ContextType, CommandType), _)).
+illarg(existence(ObjType, Culprit, _Message), _Goal, _ArgNo, _CulpritOther) :-
+	existence_error(ObjType, Culprit).
+illarg(permission(Operation, ObjType, _Message), _Goal, _ArgNo, Culprit) :-
+	permission_error(Operation, ObjType, Culprit).
+illarg(representation(ErrorType), _Goal, _ArgNo, _Culprit) :-
+	representation_error(ErrorType).
+illarg(evaluation(ErrorType), _Goal, _ArgNo, _Culprit) :-
+	throw(error(evaluation_error(ErrorType), _)).
+illarg(consistency(Culprit1, Culprit2, Message), _Goal, _ArgNo, _CulpritOther) :-
+	throw(error(consistency_error(Culprit1, Culprit2, Message), _)).
+illarg(syntax(_Pos, Msg, _Tokens, _AfterError), _Goal, _ArgNo, _Culprit) :-
+	syntax_error(Msg).
+illarg(resource(Resource), _Goal, _ArgNo, _Culprit) :-
+	resource_error(Resource).
+illarg(system(_Message), _Goal, _ArgNo, _Culprit) :-
+	throw(error(system_error, _)).

package/lib/swipl/library/dialect/sicstus4.pl

@@ -0,0 +1,200 @@
+/*  Part of SWI-Prolog
+
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2020-2021, SWI-Prolog Solutions b.v.
+    All rights reserved.
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions
+    are met:
+
+    1. Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+
+    2. Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in
+       the documentation and/or other materials provided with the
+       distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+    POSSIBILITY OF SUCH DAMAGE.
+*/
+
+:- module(sicstus4,
+	  [ nonmember/2,		% ?Element, ?List
+	    statistics/2,		% ?Key, ?Value
+	    op(1100, xfy, (do))
+	  ]).
+:- use_module(library(arithmetic)).
+:- reexport(sicstus,
+	    [ (block)/1,
+	      if/3,
+	      use_module/3,
+	      bb_put/2,
+	      bb_get/2,
+	      bb_delete/2,
+	      bb_update/3,
+	      is_mutable/1 as mutable,
+	      create_mutable/2,
+	      get_mutable/2,
+	      update_mutable/2,
+	      sicstus_is_readable_stream/1,
+	      read_line/1,
+	      read_line/2,
+	      trimcore/0,
+	      prolog_flag/3,
+	      op(1150, fx, (block)),
+	      op(1150, fx, (mode)),
+	      op(900, fy, (spy)),
+	      op(900, fy, (nospy))
+	    ]).
+
+/** <module> SICStus 4 compatibility library
+
+This library is intended to be activated using the directive below in
+files that are designed for use with SICStus Prolog 4. The changes are in
+effect until the end of the file and in each file loaded from this file.
+
+    ==
+    :- expects_dialect(sicstus4).
+    ==
+
+This library only provides compatibility with version 4 of SICStus Prolog.
+For SICStus Prolog 3 compatibility, use library(dialect/sicstus) instead.
+
+@tbd	The dialect-compatibility packages are developed in a
+	`demand-driven' fashion. Please contribute to this package.
+*/
+
+% Note: Although the do operator is declared here, do loops currently
+% aren't emulated by library(dialect/sicstus4).
+:- op(1100, xfy, user:(do)).
+
+
+		 /*******************************
+		 *	    LIBRARY SETUP	*
+		 *******************************/
+
+%%	push_sicstus4_library
+%
+%	Pushes searching for dialect/sicstus4 in front of every library
+%	directory that contains such as sub-directory.
+
+push_sicstus4_library :-
+	(   absolute_file_name(library(dialect/sicstus4), Dir,
+			       [ file_type(directory),
+				 access(read),
+				 solutions(all),
+				 file_errors(fail)
+			       ]),
+	    asserta((user:file_search_path(library, Dir) :-
+		    prolog_load_context(dialect, sicstus4))),
+	    fail
+	;   true
+	).
+
+
+:- push_sicstus4_library.
+
+
+%%	setup_dialect
+%
+%	Further dialect initialization.
+%
+%	sicstus4 currently performs the same initialization
+%	as the sicstus (SICStus 3) dialect.
+
+setup_dialect :- sicstus:setup_dialect.
+
+
+		 /*******************************
+		 *	  LIBRARY MODULES	*
+		 *******************************/
+
+%%	rename_module(?SICStus4Module, ?RenamedSICStus4Module) is nondet.
+%
+%	True if RenamedSICStus4Module is the  name  that  we use for the
+%	SICStus 4 native module SICStus4Module. We do this in places where
+%	the module-name conflicts. All explicitly qualified goals are
+%	mapped to the SICStus 4 equivalent of the module.
+
+:- multifile
+	rename_module/2.
+
+system:goal_expansion(M:Goal, SicstusM:Goal) :-
+	atom(M),
+	rename_module(M, SicstusM),
+	prolog_load_context(dialect, sicstus4).
+
+
+% SICStus 4 copy_term/2 behaves like SWI copy_term_nat/2.
+user:goal_expansion(copy_term(Term, Copy), copy_term_nat(Term, Copy)) :-
+	prolog_load_context(dialect, sicstus4).
+
+
+%%	nonmember(?Element, ?List) is semidet.
+%
+%	True if Element doesn't unify with any element in List.
+%	No variables are bound.
+
+nonmember(Element, List) :- \+ memberchk(Element, List).
+
+% As of SICStus 4.6.0, the following statistics/2 keys are still missing:
+% Introduced in SICStus 4.0:
+% * defragmentation
+% Introduced in SICStus 4.1:
+% * choice_used, choice_free
+% * defrag_count, defrag_time
+% * dpgc_count, dpgc_time
+% * memory_culprit
+% * memory_buckets
+% Introduced in SICStus 4.3:
+% * jit_count, jit_time
+
+statistics(total_runtime, Stats) :- !, system:statistics(runtime, Stats).
+% The following keys were introduced with SICStus Prolog 4.1.
+statistics(memory_used, BytesUsed) :- !, system:statistics(memory, [BytesUsed, _]).
+statistics(memory_free, BytesFree) :- !, system:statistics(memory, [_, BytesFree]).
+statistics(global_stack_used, BytesUsed) :- !, system:statistics(global_stack, [BytesUsed, _]).
+statistics(global_stack_free, BytesFree) :- !, system:statistics(global_stack, [_, BytesFree]).
+statistics(local_stack_used, BytesUsed) :- !, system:statistics(local_stack, [BytesUsed, _]).
+statistics(local_stack_free, BytesFree) :- !, system:statistics(local_stack, [_, BytesFree]).
+statistics(trail_used, BytesUsed) :- !, system:statistics(trail, [BytesUsed, _]).
+statistics(trail_free, BytesFree) :- !, system:statistics(trail, [_, BytesFree]).
+statistics(atoms_used, BytesUsed) :- !, system:statistics(atom_space, BytesUsed).
+statistics(atoms_nbused, CountUsed) :- !, system:statistics(atoms, CountUsed).
+statistics(atoms_nbfree, CountFree) :- !, CountFree = 0.
+statistics(ss_global, Count) :- !, system:statistics(stack_shifts, [Count, _, _]).
+statistics(ss_local, Count) :- !, system:statistics(stack_shifts, [_, Count, _]).
+statistics(ss_time, Time) :- !, system:statistics(stack_shifts, [_, _, Time]).
+statistics(gc_count, Count) :- !, system:statistics(garbage_collection, [Count, _, _|_]).
+statistics(gc_freed, BytesFreed) :- !, system:statistics(garbage_collection, [_, BytesFreed, _|_]).
+statistics(gc_time, Time) :- !, system:statistics(garbage_collection, [_, _, Time|_]).
+statistics(agc_count, Count) :- !, system:statistics(atom_garbage_collection, [Count, _, _]).
+statistics(agc_freed, BytesFreed) :- !, system:statistics(atom_garbage_collection, [_, BytesFreed, _]).
+statistics(agc_time, Time) :- !, system:statistics(atom_garbage_collection, [_, _, Time]).
+statistics(dcgc_count, Count) :- !, system:statistics(clause_garbage_collection, [Count, _, _]).
+statistics(dcgc_time, Time) :- !, system:statistics(clause_garbage_collection, [_, _, Time]).
+
+:- use_module(sicstus, [statistics/2 as sicstus3_statistics]).
+statistics(Keyword, Value) :- sicstus3_statistics(Keyword, Value).
+
+% Provide (\)/2 as arithmetic function.  Ideally, we should be able to
+% bind multiple names to built-in functions.  This is rather slow.  We
+% could also consider adding \ internally, but not turning it into an
+% operator.
+
+:- arithmetic_function(user:(\)/2).
+
+user:(\(X,Y,R)) :-
+	R is xor(X,Y).