| 1984 | A Class of Architectures for a Prolog Machine. Laxmikant V. Kalé, David Scott Warren |
| 1984 | A Comparison of two Logic Programming Languages: A Case Study. Miklós Szöts |
| 1984 | A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow Model. Péter Kacsuk |
| 1984 | A Logical Reconstruction of Prolog II. Maarten H. van Emden, John W. Lloyd |
| 1984 | A Memory Management Machine for Prolog Interpreter. Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro |
| 1984 | A Model Theory of Logic Programming Methodology. Huaimin Sun, Liguo Wang |
| 1984 | A Mycin-Like Expert System in Prolog. Alan Littleford |
| 1984 | A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti |
| 1984 | A Unification Algorithm for Concurrent Prolog. Jacob Levy |
| 1984 | A Unified Treatment of Resolution Strategies for Logic Programs. David A. Wolfram, Michael J. Maher, Jean-Louis Lassez |
| 1984 | An Architecture for Parallel Logic Languages. Jim A. Crammond, C. D. F. Miller |
| 1984 | An Efficient Bug Location Algorithm. David A. Plaisted |
| 1984 | Associative Concurrent Evaluation of Logic Programs. Katsuhiko Nakamura |
| 1984 | Bounded-Horizon Success-Complete Restriction of Inference Programs. Michel Sintzoff |
| 1984 | Computation Trees and Transformations of Logic Programs. Olga Stepánková, Petr Stepánek |
| 1984 | Drawing Trees and their Equations in Prolog. Jean François Pique |
| 1984 | Eager and Lazy Enumerations in Concurrent Prolog. Hideki Hirakawa, Takashi Chikayama, Koichi Furukawa |
| 1984 | Equality, Types, Modules and Generics for Logic Programming. Joseph A. Goguen, José Meseguer |
| 1984 | FAME:A Prolog Program that solves Problems in Combinatorics Yoav Shoam |
| 1984 | Incorporating Mutable Arrays into Logic Programming. Lars-Henrik Erikson, Manny Rayner |
| 1984 | Logic Programming by Completion. Nachum Dershowitz, N. Alan Josephson |
| 1984 | Logical Levels of Problem Solving. Leon Sterling |
| 1984 | On Gapping Grammars. Verónica Dahl |
| 1984 | Or-Parallelism on Applicative Architectures. Gary Lindstrom |
| 1984 | Overall design of SIMPOS. Shigeyuki Takagi, Toshio Yokoi, Shunichi Uchida, Toshiaki Kurokawa, Takashi Hattori, Takashi Chikayama, Kô Sakai, Junichiro Tsuji |
| 1984 | Parlog for Discrete Event Simulation. Krysia Broda, Steve Gregory |
| 1984 | Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984 Sten-Åke Tärnlund |
| 1984 | Prolog as a Tool for Optimizing Prolog Unifiers. Martin Nilsson |
| 1984 | Semantic Interpretation for the Epistle System. Michael C. McCord |
| 1984 | Unfold/Fold Transformation of Logic Programs. Hisao Tamaki, Taisuke Sato |
| 1984 | Unification for a Prolog Data Base Machine. Gilles Berger-Sabbatel, W. Dang, Jean-Christophe Ianeselli, Gia Toan Nguyen |
| 1984 | Using Symmetry for the Derivation of Logic Programs. Anna-Lena Johansson |