| 1986 | Completeness of the SLDNF-resolution for a class of logic programs. | Roberto Barbuti, Maurizio Martelli |
| 1986 | Sequential and Concurrent Deterministic Logic Grammars. | Harvey Abramson |
| 1986 | Procedures in Horn-Clause Programming. | M. A. Nait Abdallah |
| 1984 | A Unified Treatment of Resolution Strategies for Logic Programs. | David A. Wolfram, Michael J. Maher, Jean-Louis Lassez |
| 1984 | Unfold/Fold Transformation of Logic Programs. | Hisao Tamaki, Taisuke Sato |
| 1984 | Overall design of SIMPOS. | Shigeyuki Takagi, Toshio Yokoi, Shunichi Uchida, Toshiaki Kurokawa, Takashi Hattori, Takashi Chikayama, K Sakai, Junichiro Tsuji |
| 1984 | A Model Theory of Logic Programming Methodology. | Huaimin Sun, Liguo Wang |
| 1984 | Logical Levels of Problem Solving. | Leon Sterling |
| 1984 | Computation Trees and Transformations of Logic Programs. | Olga Stepnkov, Petr Stepnek |
| 1984 | Bounded-Horizon Success-Complete Restriction of Inference Programs. | Michel Sintzoff |
| 1984 | FAME:A Prolog Program that solves Problems in Combinatorics | Yoav Shoam |
| 1984 | Unification for a Prolog Data Base Machine. | Gilles Berger-Sabbatel, W. Dang, Jean-Christophe Ianeselli, Gia Toan Nguyen |
| 1984 | An Efficient Bug Location Algorithm. | David A. Plaisted |
| 1984 | Drawing Trees and their Equations in Prolog. | Jean Franois Pique |
| 1984 | Prolog as a Tool for Optimizing Prolog Unifiers. | Martin Nilsson |
| 1984 | Associative Concurrent Evaluation of Logic Programs. | Katsuhiko Nakamura |
| 1984 | A Comparison of two Logic Programming Languages: A Case Study. | Mikls Szts |
| 1984 | Semantic Interpretation for the Epistle System. | Michael C. McCord |
| 1984 | A Mycin-Like Expert System in Prolog. | Alan Littleford |
| 1984 | Or-Parallelism on Applicative Architectures. | Gary Lindstrom |
| 1984 | A Unification Algorithm for Concurrent Prolog. | Jacob Levy |
| 1984 | A Class of Architectures for a Prolog Machine. | Laxmikant V. Kal, David Scott Warren |
| 1984 | A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow Model. | Pter Kacsuk |
| 1984 | Using Symmetry for the Derivation of Logic Programs. | Anna-Lena Johansson |
| 1984 | Eager and Lazy Enumerations in Concurrent Prolog. | Hideki Hirakawa, Takashi Chikayama, Koichi Furukawa |