kibi-swipl-linux-x64-gnu 1.0.0

package/lib/swipl/library/ext/clib/prolog_server.pl

@@ -0,0 +1,157 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker & Steve Prior
+    E-mail:        J.Wielemaker@vu.nl
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2004-2023, University of Amsterdam
+                              VU University Amsterdam
+                              CWI, Amsterdam
+                              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(prolog_server,
+          [ prolog_server/2             % +Port, +Options
+          ]).
+
+:- autoload(library(lists), [member/2]).
+:- autoload(library(socket),
+            [ tcp_socket/1,
+              tcp_setopt/2,
+              tcp_bind/2,
+              tcp_listen/2,
+              tcp_accept/3,
+              tcp_open_socket/3,
+              tcp_host_to_address/2,
+              ip_name/2
+            ]).
+
+
+%!  prolog_server(?Port, +Options)
+%
+%   Create a TCP/IP based server  on  the   given  Port,  so you can
+%   telnet into Prolog and run an  interactive session. This library
+%   is intended to provide access for   debugging  and management of
+%   embedded servers.
+%
+%   Currently defined options are:
+%
+%           * allow(IP)
+%           Allow access from IP, a term of the format ip(A,B,C,D).
+%           Multiple of such terms can exist and access is granted
+%           if the peer IP address unifies to one of them.  If no
+%           allow option is provided access is only granted from
+%           ip(127,0,0,1) (localhost).
+%
+%   For example:
+%
+%           ==
+%           ?- prolog_server(4000, []).
+%
+%           % netcat -N localhost 4000
+%           Welcome to the SWI-Prolog server on thread 3
+%
+%           1 ?-
+%           ==
+%
+%   @bug  As  the connection  does  not  involve a  terminal,  command
+%   history and  completion are  not provided. Neither  are interrupts
+%   (Control-C).  The Prolog shell can be terminated if `netcat` shuts
+%   down the socket on ^D (using the `-N` option).  Otherwise one must
+%   enter the command "end_of_file."
+%   @see The  add-on `libssh` provides  an embedded SSH  server.  This
+%   provides encryption  as well as  a _pseudo terminal_ for  a better
+%   user experience.
+
+prolog_server(Port, Options) :-
+    tcp_socket(ServerSocket),
+    tcp_setopt(ServerSocket, reuseaddr),
+    tcp_bind(ServerSocket, Port),
+    tcp_listen(ServerSocket, 5),
+    thread_create(server_loop(ServerSocket, Options), _,
+                  [ alias(prolog_server)
+                  ]).
+
+server_loop(ServerSocket, Options) :-
+    tcp_accept(ServerSocket, Slave, Peer),
+    tcp_open_socket(Slave, InStream, OutStream),
+    set_stream(InStream, close_on_abort(false)),
+    set_stream(OutStream, close_on_abort(false)),
+    catch(tcp_host_to_address(Host, Peer),
+          error(socket_error(_,_),_),
+          ip_name(Peer, Host)),
+    (   Postfix = []
+    ;   between(2, 1000, Num),
+        Postfix = [-, Num]
+    ),
+    atomic_list_concat(['client@', Host | Postfix], Alias),
+    catch(thread_create(
+              service_client(InStream, OutStream, Peer, Options),
+              _,
+              [ alias(Alias),
+                detached(true)
+              ]),
+          error(permission_error(create, thread, Alias), _),
+          fail),
+    !,
+    server_loop(ServerSocket, Options).
+
+service_client(InStream, OutStream, Peer, Options) :-
+    allow(Peer, Options),
+    !,
+    thread_self(Id),
+    set_prolog_IO(InStream, OutStream, OutStream),
+    set_stream(InStream, tty(true)),
+    set_prolog_flag(tty_control, false),
+    current_prolog_flag(encoding, Enc),
+    set_stream(user_input, encoding(Enc)),
+    set_stream(user_output, encoding(Enc)),
+    set_stream(user_error, encoding(Enc)),
+    set_stream(user_input, newline(detect)),
+    set_stream(user_output, newline(dos)),
+    set_stream(user_error, newline(dos)),
+    format(user_error,
+           'Welcome to the SWI-Prolog server on thread ~w~n~n',
+           [Id]),
+    call_cleanup(prolog,
+                 ( close(InStream, [force(true)]),
+                   close(OutStream, [force(true)]))).
+service_client(InStream, OutStream, _, _):-
+    thread_self(Id),
+    format(OutStream, 'Go away!!~n', []),
+    close(InStream),
+    close(OutStream),
+    thread_detach(Id).
+
+
+allow(Peer, Options) :-
+    (   member(allow(Allow), Options)
+    *-> Peer = Allow,
+        !
+    ;   Peer = ip(127,0,0,1)
+    ).

package/lib/swipl/library/ext/clib/prolog_stream.pl

@@ -0,0 +1,80 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        J.Wielemaker@vu.nl
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2015, 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(prolog_stream,
+          [ open_prolog_stream/4        % +Module, +Mode, -Stream, +Data
+          ]).
+:- use_foreign_library(foreign(prolog_stream)).
+
+/** <module> A stream with Prolog callbacks
+
+This library defines a Prolog  stream   that  realises its low-level I/O
+with callbacks to Prolog.  The  library   was  developed  to bind normal
+Prolog I/O to Pengines I/O. This type of I/O redirection is probably the
+primary use case.
+*/
+
+%!  open_prolog_stream(+Module, +Mode, -Stream, +Options)
+%
+%   Create  a  new  stream  that  implements   its  I/O  by  calling
+%   predicates in Module.  The called predicates are:
+%
+%     - Module:stream_write(+Stream, +String)
+%     Called for a `Mode = write` stream if data is available.
+%     String contains the (textual) data that is written
+%     to Stream.  The callback is called if the buffer of
+%     Stream overflows, the user calls flush_output(Stream)
+%     or Stream is closed and there is buffered data.
+%     - Module:stream_read(+Stream, -Term)
+%     Called for a `Mode == read` stream to get new data.  On
+%     success the stream extracts text from the provided Term.
+%     Term is typically a string, atom, code or character list.
+%     If term is not one of the above, it is handed to writeq/1.
+%     To signal end-of-file, unify stream with an empty text,
+%     e.g., `stream_read(Stream, "")`.
+%     - Module:stream_close(+Stream)
+%     Called when the stream is closed.  This predicate must
+%     succeed.  The callback can be used to cleanup associated
+%     resources.
+%
+%   The current implementation only  deals   with  text streams. The
+%   stream uses the =wchar_t= encoding. The   buffer  size must be a
+%   multiple of =wchar_t=, i.e., a multiple of four for portability.
+%   The _newline_ mode of the stream   is  =posix= on all platforms,
+%   disabling the translation `"\n" --> "\r\n"`.
+%
+%   @arg Options is currently ignored.
+%   @bug    Futher versions might require additional callbacks.  As we
+%           demand all callbacks to be defined, existing code needs
+%           to implement the new callbacks.

package/lib/swipl/library/ext/clib/rlimit.pl

@@ -0,0 +1,54 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        J.Wielemaker@vu.nl
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2002-2011, University of 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(clib_rlimit,
+          [ rlimit/3                    % +Limit, -Old, +New
+          ]).
+
+%       rlimit(+Limit, -Old, +New)
+%
+%       Query and set POSIX resource limits.  Provided resources are:
+%
+%               cpu             CPU time (seconds)
+%               fsize           file-size (bytes)
+%               data            size of data-segment (bytes)
+%               stack           size of C-stack (bytes)
+%               core            size of a core-dump (bytes)
+%               rss             resident set size
+%               memlock         locked-in-memory address space
+%               nproc           number of processes
+%               nofile          number of open files
+
+:- use_foreign_library(foreign(rlimit)).
+

package/lib/swipl/library/ext/clib/sched.pl

@@ -0,0 +1,85 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        jan@swi-prolog.org
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2022, 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(unix_sched, []).
+:- use_foreign_library(foreign(sched)).
+:- if(current_predicate(setpriority/3)).
+:- export(setpriority/3).
+:- export(getpriority/3).
+:- endif.
+
+/** <module> Access process scheduling
+
+This library provides an interface to  the process scheduling facilities
+of the operating system. It is based   on  the sched(7) manual page from
+Linux.
+*/
+
+
+%!  setpriority(+Which, +Who, +Priority) is det.
+%!  getpriority(+Which, +Who, +Priority) is det.
+%
+%   Get/set the priority of a single process   or set of processed. Note
+%   that on Linux threads are similar   to  processes and this interface
+%   also applies to threads. The PID of   a  Prolog thread is accessible
+%   through thread_property/2.  Which is one of
+%
+%     - process
+%       Specify a single process/thread.  Who is the PID of the process.
+%     - pgrp
+%       Specify a _process group_. Who is the process group indentifier.
+%       Currently SWI-Prolog has no interface to process groups.
+%     - user
+%       Specify all processes owned by a user.  Who is the numeric
+%       user id of the target user.
+%
+%   Priority is the _nice_ value of the process and is an integer in the
+%   range -20..20, where lower numbers denote a higher priority. Who can
+%   be `0` (zero) to specify the calling process, process group or user.
+%
+%   Please consult the scheduler documentation  of your operating system
+%   before  using  setpriority/3.  Unix  systems  generally  schedule  a
+%   process at a given priority  only  if   there  is  no process with a
+%   higher priority (lower nice value) in _runnable_ state.
+%
+%   For example, to lower the priority of the `gc` thread we can use the
+%   call below.  Note that this may cause GC to never run.
+%
+%   ```
+%   ?- thread_property(gc, system_thread_id(PID)),
+%      setpriority(process, PID, 5).
+%   ```
+%
+%   @error existence_error(Which, Who)
+%   @error permission_error(setpriority, Which, Who)

package/lib/swipl/library/ext/clib/sha.pl

@@ -0,0 +1,162 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        J.Wielemaker@vu.nl
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2007-2013, University of Amsterdam
+                              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(crypto_hash,
+          [ sha_hash/3,                 % +Data, -Hash, +Options
+            sha_new_ctx/2,              % -NewContext, +Options
+            sha_hash_ctx/4,             % +OldCtx, +Data, -NewCtx, -Hash
+            hmac_sha/4,                 % +Key, +Data, -Hash, +Options
+            file_sha1/2,                % +File, -SHA1
+            hash_atom/2                 % +Hash, -HexAtom
+          ]).
+:- use_foreign_library(foreign(sha4pl)).
+
+/** <module> SHA secure hashes
+
+This library provides a  lightweight   implementation  for computing SHA
+secure  hashes.  A  general  secure  hash    interface  is  provided  by
+library(crypto), part of the `ssl` package.
+
+@see library(md5), library(hash_stream) and library(crypto).
+*/
+
+%!  sha_hash(+Data, -Hash, +Options) is det
+%
+%   Hash is the SHA hash of Data, The conversion is controlled
+%   by Options:
+%
+%     * algorithm(+Algorithm)
+%     One of =sha1= (default), =sha224=, =sha256=, =sha384= or
+%     =sha512=
+%     * encoding(+Encoding)
+%     If Data is a sequence of character _codes_, this must be
+%     translated into a sequence of _bytes_, because that is what
+%     the hashing requires.  The default encoding is =utf8=.  The
+%     other meaningful value is =octet=, claiming that Data contains
+%     raw bytes.
+%
+%   @param  Data is either an atom, string or code-list
+%   @param  Hash is a packed string
+
+%!  sha_new_ctx(-NewContext, +Options) is det
+%
+%   NewContext is unified with the empty SHA computation context
+%   (which includes the Options.)  It could later be passed to
+%   sha_hash_ctx/4. For Options, see sha_hash/3.
+%
+%   @param  NewContext is an opaque pure Prolog term that is
+%           subject to garbage collection.
+
+%!  sha_hash_ctx(+OldContext, +Data, -NewContext, -Hash) is det
+%
+%   Hash is the SHA hash of Data.  NewContext is the new SHA
+%   computation context, while OldContext is the old.  OldContext
+%   may be produced by a prior invocation of either sha_new_ctx/3 or
+%   sha_hash_ctx/4 itself.
+%
+%   This predicate allows a SHA function to be computed in chunks,
+%   which may be important while working with Metalink (RFC 5854),
+%   BitTorrent or similar technologies, or simply with big files.
+
+%!  hmac_sha(+Key, +Data, -Hash, +Options) is det
+%
+%   For Options, see sha_hash/3.
+
+%!  file_sha1(+File, -SHA1:atom) is det.
+%
+%   True when SHA1 is the SHA1 hash for the content of File. Options
+%   is passed to open/4 and typically used to control whether binary
+%   or text encoding must be used. The   output is compatible to the
+%   =sha1sum= program found in many systems.
+
+file_sha1(File, Hash) :-
+    setup_call_cleanup(
+        open(File, read, In, [type(binary)]),
+        stream_sha1(In, Hash),
+        close(In)).
+
+stream_sha1(Stream, Hash) :-
+    sha_new_ctx(Ctx0, [encoding(octet)]),
+    update_hash(Stream, Ctx0, _Ctx, 0, HashCodes),
+    hash_atom(HashCodes, Hash).
+
+update_hash(In, Ctx0, Ctx, Hash0, Hash) :-
+    at_end_of_stream(In),
+    !,
+    Ctx = Ctx0,
+    Hash = Hash0.
+update_hash(In, Ctx0, Ctx, _Hash0, Hash) :-
+    read_pending_codes(In, Data, []),
+    sha_hash_ctx(Ctx0, Data, Ctx1, Hash1),
+    update_hash(In, Ctx1, Ctx, Hash1, Hash).
+
+
+
+%!  hash_atom(+HashCodes, -HexAtom) is det.
+%
+%   Convert a list of bytes (integers 0..255) into the usual
+%   hexadecimal notation.  E.g.
+%
+%     ==
+%     ?- sha_hash('SWI-Prolog', Hash, []),
+%        hash_atom(Hash, Hex).
+%     Hash = [61, 128, 252, 38, 121, 69, 229, 85, 199|...],
+%     Hex = '3d80fc267945e555c730403bd0ab0716e2a68c68'.
+%     ==
+
+hash_atom(Codes, Hash) :-
+    phrase(bytes_hex(Codes), HexCodes),
+    atom_codes(Hash, HexCodes).
+
+bytes_hex([]) --> [].
+bytes_hex([H|T]) -->
+    { High is H>>4,
+      Low is H /\ 0xf,
+      code_type(C0, xdigit(High)),
+      code_type(C1, xdigit(Low))
+    },
+    [C0,C1],
+    bytes_hex(T).
+
+
+		 /*******************************
+		 *            SANDBOX		*
+		 *******************************/
+
+:- multifile sandbox:safe_primitive/1.
+
+sandbox:safe_primitive(crypto_hash:sha_hash(_,_,_)).
+sandbox:safe_primitive(crypto_hash:hmac_sha(_,_,_,_)).
+sandbox:safe_primitive(crypto_hash:hash_atom(_,_)).