プログラミング言語特論 第2回レポート

1. （Prolog）
   

   プリントp.Ⅴ-6 問5.4.2

   参考: 問5.4.1の解答例

   ---

   ?- append([1,2], [3,4], X).
   これに対して、 append([H₁|X₁], Y₁, [H₁|Z₁]):- append(X₁, Y₁, Z₁). が、
   H₁=1, X₁=[2], Y₁=[3,4], X=[1|Z₁] で適用できる。

   ?- append([2], [3,4], Z₁).
   これに対して、 append([H₂|X₂], Y₂, [H₂|Z₂]) :- append(X₂, Y₂, Z₂). が、
   H₂=2, X₂=[], Y₂=[3,4], Z₁=[2|Z₂] で適用できる。

   ?- append([], [3,4], Z₂).
   これに対して、 append([], Y₃, Y₃). が、
   Y₃=[3,4], Z₂=[3,4] で適用できて、ゴール節が消える。

   まとめると、 X = [1|[2|[3,4]]] (= [1,2,3,4])

   ---

2. （CPSへの変換）

   プリントp.Ⅶ-6 問7.4.1
   このHTMLファイルを元にして下さい。

3. （オブジェクト指向言語の調査）
   

   一般的に使われているオブジェクト指向言語（WikiPediaのページなどを参考にすること）から1つ言語を選び（ただし Javaは除く）、 動的束縛・継承を使用しているプログラム例を作成せよ。 （継承の概念がない場合は、それに代わる特徴を使用せよ。）

4. （チャレンジ（非必須）問題）

   3. で調べた言語に他の言語にはみられない特有の特徴があれば、それを利用したプログラム例を作成せよ。

• 調査の際、利用した文献・Webなどは明記すること。