| 1986 | Memory Performance of Lisp and Prolog Programs. | Evan Tick |
| 1986 | OLD Resolution with Tabulation. | Hisao Tamaki, Taisuke Sato |
| 1986 | Parallel Logic Programming Languages. | Akikazu Takeuchi, Koichi Furukawa |
| 1986 | Logic Programs and Alternation. | Petr Stepnek, Olga Stepnkov |
| 1986 | A Prolog Processor Based on a Pattern Matching Memory Device. | Ian Robinson |
| 1986 | Using Prolog to Represent and Reason about Protein Structure. | Christopher J. Rawlings, W. R. Taylor, J. Nyakairu, John Fox, Michael J. E. Sternberg |
| 1986 | A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases. | Kotagiri Ramamohanarao, John Shepherd |
| 1986 | Gracefully adding negation and disjunction to Prolog. | David Poole, Randy Goebel |
| 1986 | Delta Prolog: A Distributed Backtracking Extension with Events. | Lus Moniz Pereira, Lus Monteiro, Jos C. Cunha, Joaquim Nunes Aparcio |
| 1986 | Rational Debugging in Logic Programming. | Lus Moniz Pereira |
| 1986 | Cyclic Tree Traversal. | Martin Nilsson, Hidehiko Tanaka |
| 1986 | Control of Logic Program Execution Based on the Functional Relations. | Katsuhiko Nakamura |
| 1986 | Negation and Quantifiers in NU-Prolog. | Lee Naish |
| 1986 | Cut and Paste - defining the impure Primitives of Prolog. | Chris Moss |
| 1986 | Design Overview of the NAIL! System. | Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder |
| 1986 | Interfacing Prolog to a Persistent Data Store. | David S. Moffat, Peter M. D. Gray |
| 1986 | Higher-Order Logic Programming. | Dale Miller, Gopalan Nadathur |
| 1986 | Abstract Interpretation of Prolog Programs. | Chris Mellish |
| 1986 | Design of a Prolog-Based Machine Translation System. | Michael C. McCord |
| 1986 | A Parallel Parsing System for Natural Language Analysis. | Yuji Matsumoto |
| 1986 | On the Semantics of Logic Programing Languages. | Alberto Martelli, Gianfranco Rossi |
| 1986 | On the Complexity of Unification Sequences. | Heikki Mannila, Esko Ukkonen |
| 1986 | A New Approach for Intruducing Prolog to Naive Users. | Oded Maler, Zahava Scherz, Ehud Shapiro |
| 1986 | Eqivalences of Logic Programs. | Michael J. Maher |
| 1986 | An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs. | Yow-Jian Lin, Vipin Kumar, Clement H. C. Leung |