質問があり、訂正してくれる人が必要です:
store(wyoming, [evan, sandra], [storybook, fiction, general]).
store(brooklyn, [haas, maria], [fiction, schoolbook, religion]).
store(oakland, [rich, walker, dina, vince], [storybook, schoolbook, fiction]).
?-locations(storybook).ストーリーブックは複数の店舗で入手できるため、回答を返す必要がある場合は true を返す必要があります。私は次のように述語を書きます：
locations(Book) :- store(_, [_], [Books]), member(Book, Books).
相談するとどんな本を入力してもfalseを返します。これを解決するには？