8 lines
121 B
Prolog
8 lines
121 B
Prolog
|
:- use_module(library(clpfd)).
|
||
|
|
|
||
|
|
comb_clpfd(L, M, N) :-
|
||
|
|
length(L, M),
|
||
|
|
L ins 1..N,
|
||
|
|
chain(L, #<),
|
||
|
|
label(L).
|