kibi-swipl-linux-x64-gnu 1.0.0

package/lib/swipl/library/dialect/xsb/curr_sym.pl

@@ -0,0 +1,57 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        J.Wielemaker@vu.nl
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2019, VU University Amsterdam
+    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(curr_sym,
+          [ subgoal_property/2                  % ?SubGoal, ?Property
+          ]).
+:- use_module(library(tables)).
+
+:- meta_predicate
+    subgoal_property(0,?).
+
+%!  subgoal_property(?SubGoal, ?Property) is nondet.
+%
+%   True  if  a  (tabled)  SubGoal  has   Property,  where  Property  is
+%   represented as a two-element list `[Name,Value]`.
+%
+%   @tbd This is an incomplete implementation to support the test suite.
+
+subgoal_property(SubGoal, [incremental,Valid]) :-
+    predicate_property(SubGoal, incremental),
+    get_calls(SubGoal, Trie, _Return),
+    '$tbl_table_status'(Trie, Status, _, _),
+    map_status(Status, Valid).
+
+map_status(invalid, invalid).
+map_status(complete, valid).

package/lib/swipl/library/dialect/xsb/error_handler.pl

@@ -0,0 +1,111 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        J.Wielemaker@vu.nl
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2019, VU University Amsterdam
+    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(error_handler,
+          [ check_acyclic/3,		% ?Term,+Predicate,+Arg
+            check_atom/3,		% ?Term,+Predicate,+Arg
+            check_callable/3,		% ?Term,+Predicate,+Arg
+            check_integer/3,		% ?Term,+Predicate,+Arg
+            check_nonvar/3,		% ?Term,+Predicate,+Arg
+            check_nonvar_list/3,	% ?Term,+Predicate,+Arg
+%           check_one_thread/3,         % +Operation,+Object_Type,+Predicate
+            check_stream/3,		% ?Term,+Predicate,+Arg
+            check_var/3,		% ?Term,+Predicate,+Arg
+            check_ground/3,		% ?Term,+Predicate,+Arg
+
+            domain_error/4,             % +Valid_type,-Culprit,+Predicate,+Arg
+
+            print_backtrace/1,		% +Backtrace
+
+            xsb_error_get_tag/2,        % +ErrorTerm, -Formal
+            xsb_error_get_message/2     % +ErrorTerm, -Message
+          ]).
+:- use_module(library(error)).
+:- use_module(library(prolog_stack)).
+
+/** <module> XSB compatible error handling
+*/
+
+check_acyclic(Term, _Pred, _Arg)     :- must_be(acyclic, Term).
+check_atom(Term, _Pred, _Arg)        :- must_be(atom, Term).
+check_callable(Term, _Pred, _Arg)    :- must_be(callable, Term).
+check_integer(Term, _Pred, _Arg)     :- must_be(integer, Term).
+check_nonvar(Term, _Pred, _Arg)      :- must_be(nonvar, Term).
+check_nonvar_list(Term, _Pred, _Arg) :- must_be(list(nonvar), Term).
+check_stream(Term, _Pred, _Arg)      :- must_be(stream, Term).
+check_var(Term, _Pred, _Arg)         :- must_be(var, Term).
+check_ground(Term, _Pred, _Arg)      :- must_be(ground, Term).
+
+%!  xsb_error_get_tag(+Term, -Tag) is semidet.
+%
+%   Tag is the formal part of an error(Formal,Context) term.
+
+xsb_error_get_tag(error(Tag, _), Tag).
+
+%!  xsb_error_get_message(+Term, -Message) is semidet.
+%
+%   Message is the additional explanation context for an error term,
+
+xsb_error_get_message(error(_, Context), Message) :-
+    error_context_message(Context, Message).
+
+error_context_message(Var, Var) :-
+    var(Var),
+    !.
+error_context_message(context(Message, _Stack), Message).
+
+%!  domain_error(+Valid_type, -Culprit, +Predicate, +Arg)
+%
+%   Throws a domain error.
+
+domain_error(Type, Culprit, _Pred, _Arg) :-
+    domain_error(Type, Culprit).
+
+%!  print_backtrace(+Backtrace)
+%
+%   This predicate, which is used by XSB's default error handler, prints
+%   a backtrace structure to XSB's standard error stream.
+
+print_backtrace(Backtrace) :-
+    print_prolog_backtrace(user_error, Backtrace).
+
+
+		 /*******************************
+		 *            MESSAGES		*
+		 *******************************/
+
+:- multifile prolog:message//1.
+
+prolog:message(aborted(Text)) -->
+    [ '(abort) ~w'-[Text] ].

package/lib/swipl/library/dialect/xsb/gensym.pl

@@ -0,0 +1,53 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        J.Wielemaker@vu.nl
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2020, VU University Amsterdam
+    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(xsb_gensym,
+          [ coninc/1,                           % +Counter
+            coninc/2                            % +Counter, -NewCount
+          ]).
+:- reexport(swi(library/gensym)).
+
+%!  coninc(+Counter) is det.
+%!  coninc(+Counter, -NewValue) is det.
+%
+%   Flag baseed counters.
+%
+%   @see conset/2 and conget/2 from machine.pl
+
+coninc(Counter) :-
+    flag(Counter, Value, Value+1).
+
+coninc(Counter, NewValue) :-
+    flag(Counter, Value, Value+1),
+    NewValue is Value+1.

package/lib/swipl/library/dialect/xsb/gpp.pl

@@ -0,0 +1,138 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        J.Wielemaker@vu.nl
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2019, VU University Amsterdam
+			 CWI, Amsterdam
+    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(gpp, []).
+:- use_module(library(error)).
+
+/** <module> Use XSB gpp preprocessor
+
+This library enables  using  the  XSB   gpp  preprocessor  on  .P files.
+Currently the `gpp` program is not provided with SWI-Prolog. If you need
+this compatibility get it from XSB. The   XSB sources provide `gpp.c`, a
+simple stand alone C file that can be  compiled with any C compiler. The
+`gpp` program must be installed in   a  directory accessible through the
+``PATH`` environment variable.  The preprocessor is enabled using
+
+    :- use_module(library(dialect/xsb/gpp)).
+
+Running code through gpp can be useful for several reasons:
+
+ - Share (numeric) constants with C code.  Note that SWI-Prolog's
+   [ffi](https://www.swi-prolog.org/pack/list?p=ffi) pack provides
+   an alternative for this.
+ - Provide a source translation mechanism that appeals more to e.g.,
+   C programmers and can deal with partial Prolog expressions and/or
+   syntax that is illegal to some Prolog implementation.
+ - Load legacy XSB programs.
+
+There are also good reasons not to use a preprocessor:
+
+ - gpp doesn't propagate source locations, so error messages typically
+   report the wrong location.
+ - If ``#include file`` is used it will report the wrong file for
+   errors.  In addition, make/0 will not be able to pick up that an
+   included file has changed and thus the main file needs to be
+   reloaded.
+ - Wrong source locations also imply tools such as edit/1 or the
+   graphical debugger no longer work.
+ - Advanced tooling such as PceEmacs cannot correctly highlight code
+   that uses the preprocessor.
+*/
+
+:- multifile
+    prolog:open_source_hook/3,
+    prolog:gpp_options/1.
+:- dynamic
+    prolog:gpp_options/1.
+
+%!  prolog:open_source_hook(+Path, -Stream, +Options)
+%
+%   Implementation  of  the  open  source  hook   to  use  the  XSB  gpp
+%   preprocessor  on  .P  files.  This  requires    `gpp`  on  the  PATH
+%   environment variable.
+
+prolog:open_source_hook(Path, Stream, _Options) :-
+    file_name_extension(_, 'P', Path),
+    gpp_command(Path, Command),
+    open(pipe(Command), read, Stream),
+    set_stream(Stream, file_name(Path)).
+
+gpp_command(Path, Command) :-
+    gpp_executable(Gpp),
+    quoted_os_path(Gpp, OSGpp),
+    quoted_os_path(Path, OSPath),
+    gpp_option_string(Options),
+    format(string(Command), '~w ~w ~w', [OSGpp, Options, OSPath]).
+
+quoted_os_path(PrologPath, QOSPath) :-
+    prolog_to_os_filename(PrologPath, OSPath),
+    (   \+ sub_atom(OSPath, _, _, _, '"'),
+        \+ sub_atom(OSPath, _, _, _, '$')
+    ->  format(string(QOSPath), '"~w"', [OSPath])
+    ;   \+ sub_atom(OSPath, _, _, _, '\'')
+    ->  format(string(QOSPath), '\'~w\'', [OSPath])
+    ;   representation_error(path)
+    ).
+
+gpp_executable(Gpp) :-
+    exe_options(ExeOptions),
+    absolute_file_name(path(gpp), Gpp, ExeOptions).
+
+exe_options(Options) :-
+    current_prolog_flag(windows, true),
+    !,
+    Options = [ extensions(['',exe,com]), access(read) ].
+exe_options(Options) :-
+    Options = [ access(execute) ].
+
+gpp_option_string(String) :-
+    prolog:gpp_options(String),
+    !.
+gpp_option_string(String) :-
+    findall(Opt, gpp_option(Opt), Opts),
+    atomics_to_string(Opts, " ", String).
+
+gpp_option('-P').
+gpp_option('-m').
+gpp_option('-nostdinc').
+%gpp_option('-nocurinc').
+gpp_option('-DSWI_PROLOG').
+
+%!  prolog:gpp_options(-Options)
+%
+%   This multifile dynamic hook can be used to specify options for the
+%   gpp preprocessor.  The default options are
+%
+%       -P -m -nostdinc -DSWI_PROLOG

package/lib/swipl/library/dialect/xsb/intern.pl

@@ -0,0 +1,48 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        J.Wielemaker@vu.nl
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2019, VU University Amsterdam
+    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(intern,
+          [ trie_create/2,              % -Trie, +Options
+            trie_insert/2,              % +Trie, +Term
+            trie_unify/2                % +Trie, -Term
+          ]).
+
+trie_create(Trie, _Options) :-
+    trie_new(Trie).
+
+trie_insert(Trie, Term) :-
+    trie_insert(Trie, Term, true).
+
+trie_unify(Trie, Term) :-
+    trie_gen(Trie, Term, _).

package/lib/swipl/library/dialect/xsb/lists.pl

@@ -0,0 +1,47 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        J.Wielemaker@vu.nl
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2019, VU University Amsterdam
+    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(xsb_lists,
+          [ take/3                              % +N, +List, +Prefix
+          ]).
+:- reexport(swi(library/lists)).
+
+%!  take(+Length, +List, -Prefix) is semidet.
+%
+%   True if Prefix is a list of length  Length and that is the prefix of
+%   List.
+
+take(N, List, Prefix) :-
+    length(Prefix, N),
+    append(Prefix, _, List).