fixedpoint.jp - Fixpoint Semantics for Logic Programming - A Survey




Fixpoint Semantics for Logic Programming - A Survey

Melvin Fitting 教授の論文 Fixpoint Semantics for Logic Programming - A Survey は論理プログラミングの意味論を fixedpoint の理論を基に要約したサーベイです。

分かる範囲では、この論文の

という点に特に価値があると思います。

... というわけで、久しぶりに fixedpoint.jp 向きのエントリになりました。


© 2006-2008 Takeshi Abe