% nacteni:
/* ['6.1_9.pl']. */
:- retractall(start/0).
:- use_module(library(clpfd)). % clpq , clpr
:- dynamic
start/0.
start:-
write('CLP - Constraing Logic Programming'),nl,nl,
write('vyzkousejte si zadat dotazy:'),nl,
write('X in 1..5, Y in 2..8, X+Y #= T.'),nl,
write('X in 1..5, Y in 2..8, X+Y #= T, labeling([],[ X,Y,T]).'),nl,
write('X #< 4, [X,Y] ins 0..5.'),nl,
write('X #< 4, indomain(X).'),nl,
write('X #> 3, X #< 6, indomain(X).'),nl,
write('X in 4..sup, X #\\= 17, fd_dom(X,F).'),nl.
?-start.
CLP - Constraing Logic Programming
vyzkousejte si zadat dotazy:
X in 1..5, Y in 2..8, X+Y #= T.
X in 1..5, Y in 2..8, X+Y #= T, labeling([],[ X,Y,T]).
X #< 4, [X,Y] ins 0..5.
X #< 4, indomain(X).
X #> 3, X #< 6, indomain(X).
X in 4..sup, X #\= 17, fd_dom(X,F).
|