gistfile1.txt

:- use_module(library('http/http_open')).

prove((A, B)) :- 
    A, B.
prove((A; B)) :-
    A; B.
prove(H) :-
    clause(H, B), !,
    prove(B).
prove(Head) :- load(Head), Head.

% todo: fail silently
load(A) :-
    http_open(A, S, []),
    tmp_file('/tmp', Tmp),
    open(Tmp, write, S2, []),
    copy_stream_data(S, S2),
    close(S),
    close(S2),
    consult(Tmp).