Creating prolog clauses with prolog_load_file/2

EricGT · August 4, 2020, 4:23pm

Not an exact answer but maybe of use.

In searching the GitHub SWI-Prolog repositories for prolog_load_file/2 found one example.

SWI-Prolog/packages-http/blob/4d5ff5575fba6df849e57caa1ef815993c0377ea/http_load.pl#L56-L82


*Warning* Loading code from untrusted HTTP resources may compromise your
security.
*/

%!  user:prolog_load_file(+URL, +Options)
%
%   Hook into load_files/2 that loads   =|http://|= and =|https://|=
%   resources directly from the web.
%
%   @bug    Loading =https= does not validate the certificate.

user:prolog_load_file(Spec, Options) :-
    strip_module(Spec, Module, URL),
    atom(URL),
    (   is_http_url(URL)
    ->  GlobalURL = URL
    ;   prolog_load_context(file, Parent),
        is_http_url(Parent),
        uri_resolve(URL, Parent, GlobalURL)
    ),

This file has been truncated. show original

Topic		Replies	Views
Load generated code Help!	1	383	March 22, 2019
[Feasibility] Custom file format containing records and query it with prolog Help!	10	500	April 9, 2020
How do I load data from an arbitrary file format into prolog? Help!	8	2352	December 12, 2019
Clauses loaded from a command line are not visible from a module Help! how-to	2	455	March 3, 2021
Load data (facts and rules) dynamically from external source Help!	7	634	September 2, 2020

Creating prolog clauses with prolog_load_file/2

Related topics