introductiontoprolog(07_15text).docVIP

08論理プログラミング入門 Ⅰ　第1回(080701,8) 2008年度の「法とコンピュータ」での授業で説明した論理プログラミング入門の講義内容を、遅刻者や欠席者のためにも、整理して示す。 プロログとは 論理プログラムはPrologという言語を用いて作成する。PrologはPROgram in LOGicから来た名称である。 表現形式 述語、定数、変数から構成されるファクトおよびルールと命題論理記号からなる。 ファクト： crete(cunos). father(namihei,sazae). ルール： die(X):-crete(X). 論理記号連言（＆：かつ） , a,b 論理記号宣言（ｖ：または） コメントを付すために次の記号をもちいる。 % …… （%以後の一行がコメントとして解釈される） /* …………*/ （/*と*/に挟まれた数行がコメントとして解釈される） プログラム作成 プログラムはメモ帳で作ることにする。 スタート＞プログラム＞アクセサリ＞メモ帳 %%%%プログラム１%%%% % rule die(X):-crete(X). % fact crete(cunos). %%%%%%%%%%%%%%%%% 上記プログラムの説明 ルール すべてのクレタ人は死ぬ 事実 クノスはクレタ人である ファイル名を例えば、die2.txtとしてマイドキュメントの直下にセーブする。 プログラムの実行 Prologの立ち上げ スタート＞プログラム＞Sicstus Prolog ?- （プロンプト：入力を受け付ける状態。コマンドを入力しエンターキーを押す） プログラムの読み込み ?-[‘ファイル名’]. (シングルクォーテーション(7キーのところ)で囲む) 例 ?-[‘die2.txt’]. 入力したプログラムを確認する ?-listing. （例えば、上記のプログラムが表示されるはず。ただしコメントは読み込まれず） 質問を発行する(クノスはクレタ人か？) ?-crete(cunos) yes. ?- （yesと証明されたことを示す） 質問を発行する(吉野はクレタ人か？) ?-crete(yoshino). no ?- （noと証明されなかったことを示す） 質問を発行する(誰がクレタ人か？) ?-crete(X) X=cunos ? Yes (Xがcunosと単一化した形で証明されたことを示す) 質問を発行する(クノスは死ぬか？) ?-die(cunos) yes ?- (クノスが死ぬことが（ルールの適用により三段論法によって）証明された) 質問を発行する(吉野は死ぬか？) ?-die(yoshino) no ?- 質問を発行する(誰が死ぬか？) ?-die(X) X=cunos ? Yes (Xがcunosと単一化した形で証明されたことを示す) プログラム作成課題 yoshinoおよびbushも死ぬことを証明できるように知識を改定し、推論実験を行い確認しなさい。作成ファイルはメールで提出のこと。 Ⅱ　第2回(080711) 前回課題解答 yoshinoおよびbushも死ぬことを証明できるように知識を改定し、推論実験を行い確認しなさい。 %%%% プログラム２%%%% %rule: die(X):-human(X). %fact: human(cunos). human(bush). human(yoshino). %%%%%%%%%%%%%%%% 注 次のような解答もあった。間違いではないが、知識の整理の仕方としては、上記の解答の方がベターである。「死ぬ」というのは、国籍に関係なく、人間に共通する性質であるから、humanといようより一般的な概念で死との関係を定義しているからである。 % rule die(X):-crete(X). % fact crete(cunos). % rule die(X):-japanese(X). % fact japanese(yoshino). % rule die(X):-american(X). % fact american(bush). プログラムの実行（続） ○推論過程を表示させる(traceコマンド) ?-trace. ○トレースを終了する ?-notrace. ○他の解をを求める 一つの解が出た後に「;」を入力する。 例： ?-die(X). X=cunos; X=yoshino; X=bush; No ３．磯野家における親族関係の推論 磯野家の家系図（参照：http://www.usiwa