Prolog Text gprolog

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

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

uptime(X) :-
real_time(X).

gctime(0).

:- op(700, xfx, ins).
:- op(100, xfx, ..).

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

Vs ins A..B :- !, fd_domain(Vs, A, B).
Vs ins S :- phrase(disj_to_list(S), L), fd_domain(Vs, L).
label(Vs) :- fd_labelingff(Vs).
all_different(Vs) :- fd_all_different(Vs).

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

Comments