Efficient Implementation of Narrowing and Rewriting
| Author(s) : | Michael Hanus, |
| Publisher : | N/A |
| Publication Date : | 1991 |
| ISSN : | N/A |
| Abstract : | Moreover, there are many cases where functional programs are more efficiently executed than their relational equivalents. 1 Introduction During the last years a lot of approaches have been proposed in order to amalgamate functional and logic programming languages [7] [1]. Such integrations have several advantages: 1. Functional and logic programming styles can be used in one language. 2. It extends logic programming by allowing nested expressions, i.e., it is not necessary, |