トップ «前の日記(2001-12-15) 最新 次の日記(2001-12-17)» 月表示 編集

日々の流転


2001-12-16 [長年日記]

λ. Prologを作ろう! (2)

とりあえず最初の実装は捨てることになるだろうと割りきって、solveという名前の関数を再帰的に呼び出すだけの今の実装をもうちょっと進める。これでバックトラッキング出来るようになった。ad-hocに連言を実装してみた。この方法だとcutの実装も面倒そう。

……ってか、Prologなんか作ってる場合じゃなくて、データベース概論の宿題を進めなくちゃならんのに……全くの白紙状態。やばすぎー