7 lines
124 B
Prolog
7 lines
124 B
Prolog
:- use_module(library(clpfd)).
|
|
|
|
permut_clpfd(L, N) :-
|
|
length(L, N),
|
|
L ins 1..N,
|
|
all_different(L),
|
|
label(L).
|