| 1982 | A Comparison of the Logic Programming Language Prolog with Two-levels Grammars. Jan Maluszynski, Jørgen Fischer Nilsson |
| 1982 | A Design Methodology in Prolog Programming. Zsuzsanna Markusz, A. A. Kaposi |
| 1982 | A Dialogue in Natural Language. Robert Pasero |
| 1982 | A Horn Clause-like Logic for Specifying Concurrency. Luís Monteiro |
| 1982 | A Lisp-machine to Implement Prolog. Christian Percebois, Jean-Paul Sansonnet |
| 1982 | A Note on Garbage-Collection in Prolog Interpreters. Maurice Bruynooghe |
| 1982 | A Partial Evaluator of Lisp Programs Written in Prolog. Kenneth M. Kahn |
| 1982 | A Prolog Implementation of a Large System on a Small Machine. Luís Moniz Pereira, António Porto |
| 1982 | A Prolog Simulation of Migration Decision Making in a Less Developed Country. John W. Roach, Theodore D. Fuller |
| 1982 | Adding Redundancy to Obtain more Reliable and Readable Prolog Programs. Maurice Bruynooghe |
| 1982 | Alternation and the Computational Complexity of Logic Programs. Ehud Y. Shapiro |
| 1982 | An Algorithm for Interpreting Prolog Programs. Maarten H. van Emden |
| 1982 | Application of Meta-language Programming to Fault Finding in Logic Circuits. Kave Eshghi |
| 1982 | Concurrent Execution of Logic. Kenneth A. Bowen |
| 1982 | Epilog: A Language for Extended Programming in Logic. António Porto |
| 1982 | Graphs as Data in Prolog Programs. Jan Sebelík, Petr Stepánek |
| 1982 | Interfacing Predicate Logic Languages and Relational Databases. Upen S. Chakravarthy, Jack Minker, Duc Tran |
| 1982 | Knowledge Acquisition in Prolog. Alain Grumbach |
| 1982 | LDM: A Program Specification Support System. Zsuzsa Farkas, Péter Szeredi, Edit Sántáné-Tóth |
| 1982 | Logic Control with Logic. Luís Moniz Pereira |
| 1982 | Logic Programming - What Does it Bring to the Software Engineering. Toshiaki Kurokawa |
| 1982 | Logic Programming: A Parallel Approach. Norbert Eisinger, Simon Kasif, Jack Minker |
| 1982 | Medical Decision Aid: Logic Bases of the System SPHINX. Michel Joubert, Marius Fieschi, Dominique Fieschi, M. Roux |
| 1982 | Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation. Douglas R. Skuce |
| 1982 | Negation and Semantics of Prolog Programs. Taisuke Sato |
| 1982 | ORBI - An Expert System for Environmental Resource Evaluation through Natural Language. Luís Moniz Pereira, Paul Sabatier, Eugénio Oliveira |
| 1982 | On a Semantic Representation of Natural Language Sentences. Jean François Pique |
| 1982 | Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982 Michel Van Caneghem |
| 1982 | Prolog Interpreter Based on Concurrent Programming. Koichi Furukawa, Katsumi Nitta, Yuji Matsumoto |
| 1982 | Prolog/KR - Language Features. Hideyuki Nakashima |
| 1982 | Relational Production Systems and Logic Programs. Paul H. Morris |
| 1982 | Restriction Grammar in Prolog. Lynette Hirschman, Karl Puder |
| 1982 | Teaching Logic as a Computer Language in Schools. Richard Ennals |
| 1982 | The Undecidability of Two Completeness Notions for the "Negation as Failure". Howard A. Blair |
| 1982 | Toward an Inductionless Technique for Proving Properties of Logic Programs. Roberto Barbuti, Pierpaolo Degano, Giorgio Levi |
| 1982 | Towards a Derivation Editor. Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund |
| 1982 | Unification-based Conditional Binding Constructs. Harvey Abramson |