Frandsen, G. S. A Denotational Semantics for Logic Programming. DPB 1985, 14.