Boye, J. (1991). S-SLD-resolution --- An Operational Semantics for Logic Programs with External Procedures. Technical Report LiTH-IDA-R-91-18, Department of Computer and Information Science, Linköping University, Sweden. Also accepted to the 3rd International Symposium on Programming Language Implementation and Logic Programming, Passau, Germany, August 26-28, 1991. (bibtex),
Abstract: S-SLD-RESOLUTION --- AN OPERATIONAL SEMANTICS FOR LOGIC PROGRAMS WITH EXTERNAL PROCEDURESThis paper presents a new operational semantics for logic programs with external procedures, introduced in [BM88]. A new resolution procedure S-SLD-resolution is defined, in which each step of computation is characterized by a goal and a set of equational constraints, whose satisfiability cannot be decided with the information at hand. This approach improves the completeness of the resulting system, since further computation may result in the information needed to solve some earlier unsolved constraints. We also state a sufficient condition to distinguish a class of programs where no unsolved constraints will remain at the end of computation.
CS Dept TR Overview