Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Compiling Multi-Paradigm Declarative Programs into Prolog ?

Summary: Compiling Multi-Paradigm Declarative
Programs into Prolog ?
Sergio Antoy 1 Michael Hanus 2
1 Department of Computer Science, Portland State University,
P.O. Box 751, Portland, OR 97207, U.S.A., antoy@cs.pdx.edu
2 Institut fur Informatik, Christian-Albrechts-Universitat Kiel,
Olshausenstr. 40, D-24098 Kiel, Germany, mh@informatik.uni-kiel.de
In Proc. of the 3rd International Workshop on Frontiers of Combining
Systems, FroCoS 2000, Nancy.
Springer LNCS 1794, pp. 171{185, 2000
Abstract. This paper describes a high-level implementation of the con-
current constraint functional logic language Curry. The implementation,
directed by the lazy pattern matching strategy of Curry, is obtained by
transforming Curry programs into Prolog programs. Contrary to previ-
ous transformations of functional logic programs into Prolog, our imple-
mentation includes new mechanisms for both e∆ciently performing con-
current evaluation steps and sharing common subterms. The practical
results show that our implementation is superior to previously proposed


Source: Antoy, Sergio - Department of Computer Science, Portland State University


Collections: Computer Technologies and Information Sciences