Properties of substitutions and unifications
Journal of Symbolic Computation
A technique for doing lazy evaluations in logic
Journal of Logic Programming
Enumerating outer narrowing derivationsfor constructor-based term rewriting systems
Journal of Symbolic Computation
Narrowing and unification in functional programming mechanism for absolute set a bstraction
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
Foundations of Equational Logic Programming
Foundations of Equational Logic Programming
Kernel-LEAF: a logic plus functional language
Journal of Computer and System Sciences
Handbook of theoretical computer science (vol. B)
Logic programming with functions and predicates: the language Babel
Journal of Logic Programming
Handbook of logic in computer science (vol. 2)
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
Journal of the ACM (JACM)
Compiling Logic Programs with Equality
PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
A Demand Driven Computation Strategy for Lazy Narrowing
PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
Canonical Forms and Unification
Proceedings of the 5th Conference on Automated Deduction
On Comleteness of Narrowing Strategies
CAAP '88 Proceedings of the 13th Colloquium on Trees in Algebra and Programming
An Optimal Narrowing Strategy for General Canonical Systems
CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems
Journal of the ACM (JACM)
Functional and constraint logic programming
Constraints in computational logics
Reducing Search Space in Solving Higher-Order Equations
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Constructor-based conditional narrowing
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A demand-driven narrowing calculus with overlapping definitional trees
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Higher-order narrowing with definitional trees
Journal of Functional Programming
Evaluation strategies for functional logic programming
Journal of Symbolic Computation
Hi-index | 0.00 |
We present narrowing calculi that are computation models of functional-logic programming languages. The narrowing calculi are based on the notion of the leftmost outside-in reduction of Huet and Lévy. We note the correspondence between the narrowing and reduction derivations, and define the leftmost outside-in narrowing derivation. We then give a narrowing calculus OINC that generates the leftmost outside-in narrowing derivations. It consists of several inference rules that perform the leftmost outside-in narrowing. We prove the completeness of OINC using an ordering defined over a narrowing derivation space. To use the calculus OINC as a model of computation of functional-logic programming, we extend OINC to incorporate strict equality. The extension results in a new narrowing calculus, s-OINC. We show also that s-OINC enjoys the same completeness property as OINC.