Prolog Text jekejeke

/**
* Jekejeke Prolog code for the benchmark harness.
*
* Copyright 2013, XLOG Technologies GmbH, Switzerland
* Jekejeke Minlog 0.6.6 (minimal logic extension module)
*/
uptime(X) :-
statistics(uptime, X).

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

:- consult('common.p').

:- consult('grocery.p').
:- consult('pythago.p').
:- consult('queens.p').
:- consult('money.p').
:- consult('crypt.p').
:- consult('zebra.p').
:- consult('pigeon.p').

:- consult('grocery3.p').
:- consult('pythago3.p').
:- consult('queens3.p').
:- consult('money3.p').
:- consult('crypt3.p').
:- consult('zebra3.p').
:- consult('pigeon3.p').

Comments