zbMATH — the first resource for mathematics

Implementation of narrowing: The Prolog-based approach. (English) Zbl 0832.68011
Apt, K. R. (ed.) et al., Logic programming languages. Constraints, functions, and objects. London: MIT Press. 1-20 (1993).
Summary: We present the problem of integrating functional languages and logic languages. We explain why the narrowing-based techniques have so far prevailed as operational mechanisms for the functional logic interpreters. We then discuss various strategies of narrowing. Finally we explain how to simulate these strategies of narrowing using the leftmost SLD-resolution rule of Prolog, and compare some experimental results with those obtained with direct narrowing implementations.
For the entire collection see [Zbl 0831.68011].

68N17 Logic programming
68N15 Theory of programming languages