DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986

• Abramson, H (1986) Abramson, H "A Prological Definition of HASL, A Purely Functional Language with Unification Based Conditional Binding Expressions"
• Bandes, Robert G. (1986) Bandes, Robert G. "Constraining-Unification and the Programming Language UNICORN"
• Barbuti, R. et al (1986) Barbuti, R. et al "LEAF: A Language which Integrates Logic, Equations and Functions" pp.201-238.
• Cohen, Shimon (1986) Cohen, Shimon "The APPLOG Language" pp39-276
• Goguen, Joseph and Meseguer, José (1986) Goguen, Joseph and Meseguer, José "EQLog: Equality, Types and Generic Modules for Logic Programming" pp295-363
• Kahn, Kenneth M. (1986) Kahn, Kenneth M. "UNIFORM - A Language Based Upon Unification Which Unifies (much of) LISP, PROLOG, and ACT 1" pp411-438
• Malachi, Yonathan; Manna, Zohar and Waldinger, Ric (1986) Malachi, Yonathan; Manna, Zohar and Waldinger, Richard "TABLOG: A New Approach to Logic Programming"
• Sato, Masahiko; and Sakurai, Takafumi (1986) Sato, Masahiko; and Sakurai, Takafumi "QUTE: A Functional Language Based on Unification"
• Smolka, G. (1986) Smolka, G. "Fresh: A Higher-Order Language Based on Unification"
• Subrahmanyam P.A. et al, (1986) Subrahmanyam P.A. et al, "FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming}