G. S. Frandsen, “A Denotational Semantics for Logic Programming”, DPB, vol. 14, no. 201, Nov. 1985.