Compiling a functional language to prolog
Date
1993
Authors
Csáki, Csaba
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
The two main paradigms of declarative computation are logic programming and functional programming. There are problems which can be expressed more naturally in a logic language than in functional language and vice versa. Therefore, the integration of the two paradigms is not only of theoretical but of practical interest as well.
In this thesis we discuss the introduction of functional expressions into logic programs. We present a method for translating the expressions into equations and for translating the equations into logic clauses. The resulting cod is an ordinary Prolog program and can be efficiently executed using conventional implementation techniques.