とりあえず 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)…

いま SWI-Prolog インストールしたとこまで。 M.Hiroiさんの文書( http://www.geocities.jp/m_hiroi/prolog/ ) とか参考にあそぼうと思う。