Logic Programming: Functions, Relations, and Equations, 1986

Setting the Stage

• Uday S. Reddy: On the Relationship Between Logic and Functional Languages. 3-36 BibTeX
• John Darlington, A. J. Field, Helen Pull: The Unification of Functional and Logic Languages. 37-70 BibTeX

Unification and Functional Programming

• Harvey Abramson: A Prological Definition of HASL: A Purely Functional Language with Unification-Based Conditional Binding Expressions. 73-129 BibTeX
• Masahiko Sato, Takafumi Sakurai: QUTE: A Functional Language Based on Unification. 131-155 BibTeX
• P. A. Subrahmanyam, Jia-Huai You: FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming. 157-198 BibTeX

Symmetric Combinations

• Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: LEAF: A Language which Integrates Logic, Equations and Functions. 201-238 BibTeX
• Shimon Cohen: The APPLOG Language. 239-276 BibTeX

Programming with Equality

• William A. Kornfeld: Equality For Prolog. 279-294 BibTeX
• Joseph A. Goguen, José Meseguer: EQLOG: Equality, Types, and Generic Modules For Logic Programming. 295-363 BibTeX
• Yonathan Malachi, Zohar Manna, Richard J. Waldinger: TABLOG: A New Approach To Logic Programming. 365-394 BibTeX

Augmented Unification

• Robert G. Bandes: Constraining-Unification and the Programming Language UNICORN. 397-410 BibTeX
• Kenneth M. Kahn: UNIFORM - A Language Based Upon Unification Which Unifies (much of) LISP, PROLOG, and ACT 1. 411-438 BibTeX

Semantic Foundations

• Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher: Logic Programming Language Scheme. 441-467 BibTeX
• Gert Smolka: FRESH: A Higher-Order Language With Unification and Multiple Results. 469-524 BibTeX