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

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

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

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