9 lines
135 B
Text
9 lines
135 B
Text
| ?- forall(list::permutation([1, 2, 3], Permutation), (write(Permutation), nl)).
|
|
|
|
[1,2,3]
|
|
[1,3,2]
|
|
[2,1,3]
|
|
[2,3,1]
|
|
[3,1,2]
|
|
[3,2,1]
|
|
yes
|