@ARTICLE{Hanus96SDCR, author = "Hanus, M.", title = "Integration of Declarative Paradigms: Benefits and Challenges", year = "1996", journal = "ACM Computing Surveys", volume = "28A", number = "4", note = "Also appeared in ACM SIGPLAN Notices, Vol.~32, No.~1, 1997, 77--79", abstract = { 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. } }