このディレクトリの索引
#  
#  taroはコーヒーのどの種類が好きですか?
#  

好きなコーヒー(taro,コロンビアスプレモ).
好きなコーヒー(hanako,グァテマラマラゴギーベ).
好きなコーヒー(taro,コスタリカ).
好きなコーヒー(hanako,コスタリカ).

'taroはコーヒーのどの種類が好きですか?'(_コーヒーの種類のリスト,_taroの好きなコーヒーの種類) :-
        \+(var(_コーヒーの種類のリスト)),
        member(_taroの好きなコーヒーの種類,_コーヒーの種類のリスト),
        好きなコーヒー(taro,_taroの好きなコーヒーの種類).
'taroはコーヒーのどの種類が好きですか?'(_コーヒーの種類のリスト,_taroの好きなコーヒーの種類) :-
        var(_コーヒーの種類のリスト),
        コーヒーの種類のリストを得る(_コーヒーの種類のリスト),
        好きなコーヒー(taro,_taroの好きなコーヒーの種類).

コーヒーの種類のリストを得る(_コーヒーの種類のリスト) :-
        findall(_コーヒーの種類,(
                    好きなコーヒー(_,_コーヒーの種類)),
                _重複を許すコーヒーの種類のリスト),
        sort(_重複を許すコーヒーの種類のリスト,_コーヒーの種類のリスト).