Select Code to Download

:- use_module(library(clpfd)).

different_lists([A|TA], [B|TB]) :-
...
    time(solve(S)),
    writeln(S).

?- tryme.
searching...
% 281,537 inferences, 0.180 CPU in 0.183 seconds (98% CPU, 1564094 Lip
+s)
[[2, 1, 0, 0, 2, 2, 1], [0, 2, 2, 1, 1, 0, 2], [1, 0, 0, 1, 2, 2, 2], 
+[1, 2, 1, 0, 0, 2, 2], [0, 1, 2, 2, 2, 0, 1], [2, 0, 2, 2, 1, 1, 0], 
+[2, 2, 1, 2, 0, 1, 0]]
true.