関係プログラミング
コンピュータプログラミングの概念・技法・モデル(IT Architect' Archiveクラシックモダン・コンピューティング6) (IT Architects’Archive CLASSIC MODER)セイフ・ハリディ,ピーター・ヴァン・ロイ,Peter Van-Roy,Seif Haridi
翔泳社 / ￥ 8,610 ()
通常24時間以内に発送
- パーサの話とかPrologあたり。
- 論理的意味は同じだが操作的意味が異なる例が面白かった。
- definite clause grammer (DCG)
- 一階述語論理
- Prologプログラムを関係プログラムに翻訳すること
残りの章は当分いいや。