Prolog Text bprolog

/**
* B-Prolog code for the test harness.
* Since consult/1 is used code will be interpreted.
*
* Copyright 2013, XLOG Technologies GmbH, Switzerland
* Jekejeke Minlog 0.6.6 (minimal logic extension module)
*/

% ?- consult('<base>\\bprolog.p').

uptime(X) :-
statistics(runtime, [X|_]).

gctime(X) :-
statistics(gc_time, X).

:- op(700, xfx, ins).

disj_to_list(A \/ B) --> !,
disj_to_list(A),
disj_to_list(B).
disj_to_list(A) --> [A].

Vs ins S :- phrase(disj_to_list(S), L), Vs :: L.
label(Vs) :- labeling(Vs).

:- consult('<base>\\common.p').

:- consult('<base>\\grocery.p').
:- consult('<base>\\pythago.p').
:- consult('<base>\\queens.p').
:- consult('<base>\\money.p').
:- consult('<base>\\crypt.p').
:- consult('<base>\\zebra.p').
:- consult('<base>\\pigeon.p').

:- consult('<base>\\grocery3.p').
:- consult('<base>\\pythago3.p').
:- consult('<base>\\queens3.p').
:- consult('<base>\\money3.p').
:- consult('<base>\\crypt3.p').
:- consult('<base>\\zebra3.p').
:- consult('<base>\\pigeon3.p').

Comments