Re: sudoku with swi-prolog

On 2005-11-18, Martin Sondergaard <nobody@xxxxxxxxxxx> wrote:
> ?- all_different( 1, 2, 3, 4, 5, 6, 7, 8, 9 ).
> yes

If you use a list it becomes easy :-)

all_different(List) :-
sort(List, List2), % remove duplicates
same_length(List, List2).

same_length([], []).
same_length([_|T1], [_|T2]) :-
same_length(T1, T2).

--- Jan
.