Bonnier, S. and Maluszynski, J. (1988). Towards Clean Amalgamation of Logic Programs with External Procedures. Technical Report LiTH-IDA-R-88-03, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),
Abstract: The paper presents a clean approach to the amalgamation of logic programming with external functional procedures. Both the logical semantics and the operational semantics of the amalgamated language are outlined. The operational semantics is based on an incomplete E-unification algorithm which we call S-unification. It is suggested to use the abstract interpretation technique for identifying classes of goals for which the approach is complete. For this purpose a domain of abstract terms is defined, and an abstract unification algorithm used for a compile-time check is developed.
CS Dept TR Overview