【論理】Prolog【初心者】

[300 デフォルトの名無しさん 2011/10/24(月) 16:05:09.28]

>>293
for/3の典型的な使い方。 findall/3 の中で使う。

ふたつ取り出す(_リスト,_一つ目,_二つ目) :-
　　length(_リスト,_リストの長さ),
　　findall(N,for(1,N,_リストの長さ),L),
　　順列(L,2,[M,N]),
　　nth1(M,_リスト,_一つ目),
　　nth1(N,_リスト,_二つ目).

?- ふたつ取り出す([赤,青,緑],_一つ目,_二つ目).
_一つ目 = '赤',
_二つ目 = '青';
_一つ目 = '赤',
_二つ目 = '緑';
_一つ目 = '青',
_二つ目 = '赤';
_一つ目 = '青',
_二つ目 = '緑';
_一つ目 = '緑',
_二つ目 = '赤';
_一つ目 = '緑',
_二つ目 = '青';
false