Prolog Text swi

/**
* SWI Prolog code for the test harness.
*
* Copyright 2013, XLOG Technologies GmbH, Switzerland
* Jekejeke Minlog 0.6.6 (minimal logic extension module)
*/

uptime(X) :-
statistics(cputime, T),
X is round(T*1000).

gctime(T) :-
statistics(garbage_collection, [_,_,T|_]).

:- use_module(library(clpfd)).

:- 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').

Kommentare