On a Tighter Integration of Functional and Logic Programming

  • Bernd Braßel
  • Frank Huch
Conference paper

DOI: 10.1007/978-3-540-76637-7_9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4807)
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Bernd Braßel
    • 1
  • Frank Huch
    • 1
  1. 1.Institute of Computer Science, University of Kiel, 24098 KielGermany

Personalised recommendations