Return to Article Details A Denotational Semantics for Logic Programming Download Download PDF