Prolog Text ciao

/**
* Ciao Prolog code for the test harness.
* Use consult/1 on toplevel so that code will be interpreted.
*
* Copyright 2013, XLOG Technologies GmbH, Switzerland
* Jekejeke Minlog 0.6.6 (minimal logic extension module)
*/

uptime(Y) :-
statistics(walltime, [X|_]),
Y is round(X).

gctime(S) :-
statistics(garbage_collection, [_,_,T]),
S is round(T).

:- use_package(clpfd).

:- op(700, xfx, ins).
[] ins R.
[X|Y] ins R :- X in R, Y ins R.

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

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

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

Kommentare