% Computational Intelligence: a logical approach. 
% Prolog Code. 
% Simple test code for the CSP solvers
% Copyright (c) 1998, Poole, Mackworth, Goebel and Oxford University Press.

test_csp(X,Y,Z) :-
    csp([dom(X,[1,2,3,4]),
         dom(Y,[1,2,3,4]),
         dom(Z,[1,2,3,4])],
        [rel([X,Y],X<Y),rel([Y,Z],Y<Z)]).

% | ?- test_csp(X,Y,Z).