A Relational Semantics for Logic Programming

Stan Raatz,J. Gallier
Abstract:
What problem does this paper attempt to address?