とりあえず like.pro として以下のようなファイルを作って、SWI-Prolog に読み込ませてみる。 like(taro, coffee). like(taro, hanako). like(hanako, hanako). like(sizuka, isamu). like(isamu, sizuka). like(coffee, human). human(taro). human(hanako)…