LP - General

The Relation Between Logic And Functional Languages: A Survey

M. Bellia and G. Levi (article, 1986)

Axiomatization of a Functional Logic Language

Francois Bronsard and Uday S. Reddy[H. Kirchner and W. Wechler (ed)] (inproceedings, 1990)

The Unification Of Functional And Logic Languages

J. Darlington and A.J. Field and H. Pull (incollection, 1986)

Logic Programming, Functions, Relations and Equations

[Doug DeGroot and Gary Lindstrom (ed)] (book, 1986)

Logic Programming cum Applicative Programming

Nachum Dershowitz and David A. Plaisted (inproceedings, 1985)

Extended Unification Algorithms For The Integration Of Functional Programming Into Logic Programming

M. Dincbas and P. van Hentenryck (article, 1987)

Logic Programming: Further Developments

H. Gallaire (article, 1985)

Functional Logic Programming

Michael Hanus (misc, 1997)

A Unified Computation Model for Functional and Logic Programming

Michael Hanus (inproceedings, 1997)

Curry: An Integrated Functional Logic Language (Version 0.5 of January 13, 1999)

Michael Hanus (ed.) (misc, 1999)

Compositional Logic Programming

R. McPhee and O. de Moor[M. Chakravarty and Y. Guo and T. Ida (ed)] (inproceedings, 1996)

On the Relationship between Logic and Functional Languages

Uday S.~Reddy (incollection, 1986)

Functional Logic Languages: Part I

Uday S.~Reddy[J.~H.~Fasel and R.~M.~Keller (ed)] (inproceedings, 1986)

Elemente einer kombinierten funktionalen/logischen Sprache (Ein Konzept für die Erweiterung einer Reduktionssprache)

Claus Reinke (mastersthesis, 1991)