Logic Programming from the Perspective of Algebraic Semantics
Jan A. Plaza · Fundamenta Informaticae · 1996
We present an approach to foundations of logic programming in which the connection with algebraic semantics becomes apparent. The approach is based on omega-Herbrand models instead of conventional Herbrand models. We give a proof of Clark's theorem o