Chapter

Programming Languages and Systems

Volume 4807 of the series Lecture Notes in Computer Science pp 122-138

On a Tighter Integration of Functional and Logic Programming

  • Bernd BraßelAffiliated withInstitute of Computer Science, University of Kiel, 24098 Kiel
  • , Frank HuchAffiliated withInstitute of Computer Science, University of Kiel, 24098 Kiel

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.