Abstract is missing.
- On the Relationship Between Logic and Functional LanguagesUday S. Reddy. 3-36
- The Unification of Functional and Logic LanguagesJohn Darlington, A. J. Field, Helen Pull. 37-70
- QUTE: A Functional Language Based on UnificationMasahiko Sato, Takafumi Sakurai. 131-155
- FUNLOG: A Computational Model Integrating Logic Programming and Functional ProgrammingP. A. Subrahmanyam, Jia-Huai You. 157-198
- LEAF: A Language which Integrates Logic, Equations and FunctionsRoberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli. 201-238
- The APPLOG LanguageShimon Cohen. 239-276
- Equality For PrologWilliam A. Kornfeld. 279-294
- EQLOG: Equality, Types, and Generic Modules For Logic ProgrammingJoseph A. Goguen, José Meseguer. 295-363
- TABLOG: A New Approach To Logic ProgrammingYonathan Malachi, Zohar Manna, Richard J. Waldinger. 365-394
- UNIFORM - A Language Based Upon Unification Which Unifies (much of) LISP, PROLOG, and ACT 1Kenneth M. Kahn. 411-438
- Logic Programming Language SchemeJoxan Jaffar, Jean-Louis Lassez, Michael J. Maher. 441-467
- FRESH: A Higher-Order Language With Unification and Multiple ResultsGert Smolka. 469-524