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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Braßel, B., & Huch, F. (2007). On a tighter integration of functional and logic programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4807 LNCS, pp. 122–138). Springer Verlag. https://doi.org/10.1007/978-3-540-76637-7_9
Mendeley helps you to discover research relevant for your work.