Integration of Declarative Paradigms: Benefits and Challenges

by Michael Hanus

ACM Computing Surveys, Vol. 28A, No. 4, 1996
© ACM Press
Also appeared in ACM SIGPLAN Notices, Vol. 32, No. 1, 1997, 77-79. Available from ACM

We discuss the benefits of integrating the most important declarative programming paradigms, namely functional and logic programming. Although many problems need to be solved to provide a true amalgamation of these paradigms, such an integration seems to be possible and has positive effects on teaching, research and application of declarative languages.