International Conference on Logic Programming (ICLP 2007), Springer LNCS 4670, pp. 45-75, 2007
© Springer-Verlag
Declarative programming languages advocate a programming style expressing the properties of problems and their solutions rather than how to compute individual solutions. Depending on the underlying formalism to express such properties, one can distinguish different classes of declarative languages, like functional, logic, or constraint programming languages. This paper surveys approaches to combine these different classes into a single programming language.
Preprint (PDF) BibTeX-Entry Online