Typed Higher-Order Narrowing without Higher-Order Strategies

We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these systems into ordinary (£rst-order) rewrite systems and the subsequent application of conventional narrowing strategies. Our translation is an adaptation to narrowing of Warren’s translation, but unlike similar previous work, we preserve static type information, which has a dramatic effect on the size of the narrowing space. Our approach supports sound, complete, and ef£cient higher-order narrowing computations in classes of systems larger than those previously proposed.

• Type: Conference
• Year: 1999
• Where: FLOPS
• Authors: Sergio Antoy, Andrew P. Tolmach
• Keywords: Automated Reasoning, Conventional Narrowing Strategies, FLOPS 1999, Narrowing, Narrowing Space