- プログラムを作成する問題については，実際にプログラムを実行し動作例をいくつか挙げて考察する こと．
- 考察は問題毎に行いましょう．
- レポートはそのまま実行できる形で提出して下さい．(考察などの文章，実行結果等はコメントアウト する)（テンプレート）
注意事項
レポート課題
課題 rep07::提出〆切 2024年06月3日 17時- 注意：
- 述語 memberを用いて解答を作成する場合は教科書p.69の定義を用いて，述語名を"mem" とせよ．
- traceを用いて実行過程の追跡を行うこと．こちらを参照
問題7.3 (教科書p.175)
- subsumes(Term1,Term2)
- という関係を，Term1がTerm2と等しいか一般的であるように定義せよ．
- たとえば，
- ?- subsumes(X,c).
- yes
- ?- subsumes(g(X),g(t(Y))).
- yes
- ?- subsumes(f(X,X),f(a,b)).
- no
- つまり，subsumes(Term1,Term2)は以下の式を満足するときに真を
- 返す述語とする．
- HB(Term1)⊇HB(Term2)
- ここでHB(T)は項Tのエルブラン基底の集合を表す．
- ただし，組み込み述語にsubsumesが定義されているので，
- subsumeとして定義せよ
- ヒント：
- 項の構造に注目して問題の宣言的意味を満足するようにプログラム
- すると良い．（エルブラン領域を手続き的に求めて集合の大小関係
- を比較しようとする場合，HBは一般的に無限となり得るため，解法
- として適さない．）
問題7.8 (教科書p.185)
- 与えられた集合(集合はリストで表わされるとする)のすべての部分集合の集合を
- 計算するために，関係powerset(Set,Subsets)をbagofを用いて定義せよ
- rep03問題3.8で作成した部分集合を生成する述語subsを用いて定義すること
- 注意：
- レポートは出題された問題すべてをまとめて1通のメールで提出すること．複数回に分けた場合，上書きされて最後の送信のみが有効となる．
- また，traceを用いて実行過程の追跡を行うこと．こちらを参照
レポートの提出方法 (重要)
- レポートは，電子メールでのみ提出することが出来ます．
レポートの提出先メールアドレスは
です．
- メールのサブジェクトは指示通り，半角でrepXX (XXは回数，例えば第一回目ならrep01) とすること．
- (初回は特に)学籍番号と氏名は間違えないように記入をお願いします.
- 解説/考察，実行結果の部分は全てコメントアウトとし，メールのヘッダを取り除いたものが，実行可能となるように作成すること．
- 二度同じサブジェクトでレポートを提出すると上書きされ，先に提出したものは失われます．(必ず，控えを残しておいて下さい)
- メールの形式は html形式ではなく，テキスト形式 で送信すること．特に，エディタ等からコピー＆ペーストする際は，先にメーラー側で「プレーンテキストに切り替える」設定を行い，その後ペーストしないと，正しく受信されないことがあります．
- 正常に受理された場合はその旨が記載された自動返信メールが送信されます．提出後にはレポート提出状況と併せて返信メールを確認すること．
- 誤ったサブジェクトのメールは送り返されますが，誤って過去のレポート番号で送った場合は，そのレポートが失われます．
- 演習に関する質問は，レポート提出用のアドレスには送らないこと．(repXX のサブジェクトでメールを送ると，レポートとして受理されます．質問などは，
へ出すこと)
- 必ず情報基盤センター学生メールのアカウント（@stn.nitech.ac.jp）から提出すること．(研究室，プロバイダ等の アカウントからの提出は受理されません)
- ピリオド(.) だけの行をレポート途中に入れると，返信メールでのレポート内容がそこで途切れてしまいます． ただし，受理されたレポートの方は途切れていませんので心配無用です．
- レポートの書き方は，こちらを参考に，正しく分かり易いレポートを心がけること．（テンプレートファイル）
- という関係を，Term1がTerm2と等しいか一般的であるように定義せよ．
問題7.5 (教科書p.175)