| 1983 | Some Aspects of the Static Semantics of Logic Programs with Monadic Functions. | Patrizia Asirelli |
| 1983 | A Prological Definition or HASL: a Purely Functional Language with Unification Based Conditional Binding Expressions. | Harvey Abramson |
| 1982 | Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation. | Douglas R. Skuce |
| 1982 | Alternation and the Computational Complexity of Logic Programs. | Ehud Y. Shapiro |
| 1982 | Graphs as Data in Prolog Programs. | Jan Sebelk, Petr Stepnek |
| 1982 | Negation and Semantics of Prolog Programs. | Taisuke Sato |
| 1982 | A Prolog Simulation of Migration Decision Making in a Less Developed Country. | John W. Roach, Theodore D. Fuller |
| 1982 | Epilog: A Language for Extended Programming in Logic. | Antnio Porto |
| 1982 | On a Semantic Representation of Natural Language Sentences. | Jean Franois Pique |
| 1982 | ORBI - An Expert System for Environmental Resource Evaluation through Natural Language. | Lus Moniz Pereira, Paul Sabatier, Eugnio Oliveira |
| 1982 | A Prolog Implementation of a Large System on a Small Machine. | Lus Moniz Pereira, Antnio Porto |
| 1982 | Logic Control with Logic. | Lus Moniz Pereira |
| 1982 | A Lisp-machine to Implement Prolog. | Christian Percebois, Jean-Paul Sansonnet |
| 1982 | A Dialogue in Natural Language. | Robert Pasero |
| 1982 | Prolog/KR - Language Features. | Hideyuki Nakashima |
| 1982 | Relational Production Systems and Logic Programs. | Paul H. Morris |
| 1982 | A Horn Clause-like Logic for Specifying Concurrency. | Lus Monteiro |
| 1982 | A Design Methodology in Prolog Programming. | Zsuzsanna Markusz, A. A. Kaposi |
| 1982 | A Comparison of the Logic Programming Language Prolog with Two-levels Grammars. | Jan Maluszynski, Jrgen Fischer Nilsson |
| 1982 | Logic Programming - What Does it Bring to the Software Engineering. | Toshiaki Kurokawa |
| 1982 | A Partial Evaluator of Lisp Programs Written in Prolog. | Kenneth M. Kahn |
| 1982 | Medical Decision Aid: Logic Bases of the System SPHINX. | Michel Joubert, Marius Fieschi, Dominique Fieschi, M. Roux |
| 1982 | Restriction Grammar in Prolog. | Lynette Hirschman, Karl Puder |
| 1982 | Knowledge Acquisition in Prolog. | Alain Grumbach |
| 1982 | Prolog Interpreter Based on Concurrent Programming. | Koichi Furukawa, Katsumi Nitta, Yuji Matsumoto |