LP - Languages

Constraining-Unification and the Programming Language UNICORN

Robert G. Brandes (incollection, 1986)

Type classes in Mercury

David Jeffery, Fergus Henderson and Zoltan Somogyi (techreport, 1998)

MCORBA: A CORBA Binding for Mercury

David Jeffery, Tyson Dowd and Zoltan Somogyi (inproceedings, 1999)

LOGLISP: An Alternative to PROLOG

J.A.~Robinson and E.E.~Silbert (article, 1982)

Qute : A Prolog/Lisp Type Language for Logic Programming

M.~Sato and T.~Sakurai (inproceedings, 1983)

Qute : A Functional Language Based On Unification

M.~Sato and T.~Sakurai (incollection, 1986)

FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming

P.A.~Subrahmanyam and J-H.~You (incollection, 1986)