Melvin Fitting 教授の論文 Fixpoint Semantics for Logic Programming - A Survey は論理プログラミングの意味論を fixedpoint の理論を基に要約したサーベイです。
分かる範囲では、この論文の
という点に特に価値があると思います。
... というわけで、久しぶりに fixedpoint.jp 向きのエントリになりました。