>>540
% 模範解答ではありません。私好みの定義。Prologの自由さを感じてください。

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

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

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