On a Tighter Integration of Functional and Logic Programming
- Cite this paper as:
- Braßel B., Huch F. (2007) On a Tighter Integration of Functional and Logic Programming. In: Shao Z. (eds) Programming Languages and Systems. APLAS 2007. Lecture Notes in Computer Science, vol 4807. Springer, Berlin, Heidelberg
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: sharing computations across non-deterministic branching and the declarative encapsulation of logic search. We then present a formal approach which shows how these improvements can be realized and prove the soundness of our approach.
Unable to display preview. Download preview PDF.