Implementation of narrowing: the Prolog-based approach
Implementation of narrowing: the Prolog-based approach
复制标题
缩小的实现：基于 Prolog 的方法
DOI：
10.7551/mitpress/4313.003.0004
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
L. Fribourg
中科院分区：
文献类型：
--
作者：
P. H. Cheong;L. Fribourg
我们提出了函数式语言和逻辑语言的集成问题。我们解释了为什么基于窄的技术迄今为止作为功能逻辑解释器的操作机制盛行。然后，我们讨论各种缩小的策略。最后，我们解释了如何使用Prolog的最左边的sld分辨率规则来模拟这些缩小策略
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