実行方法 http://www.swi-prolog.org/ (私は cygwin の物を使用) /usr/bin/pl にインストールされる。インタラクティブシェル使用。 prolog の文で、?- が先頭にあるやつは、シェルに入力 prolog の文で、何も付かないもの(定義)は別ファイルに書いて consult(ファイル名). か、assert(定義). で定義追加。 述語 father(lisa, homer). prolog で一番引っかかったのが「述語」という考え方だ。例えば homer が lisa の父である時、father(homer, lisa). というらしいが、この場合、なんで述語が father なのか納得行かない。じゃあ、lisa の父は homer であると言うと、homer(lisa, father) になっちゃうじゃないか!と思うわけ。つまり、どれが述語