プログラミング言語特論 第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. （型クラス）
   

   プリント第Ⅷ章 p.4 問8.5.1
   　　または
   プリント第Ⅷ章 p.5 問8.6.1
   どちらか1問を選択して下さい。