| 1986 | Shared Memory Execution of Committed-choice Languages. | Jacob Levy |
| 1986 | A GHC Abstract Machine and Instruction Set. | Jacob Levy |
| 1986 | How to Invent a Prolog Machine. | Peter Kursawe |
| 1986 | A Framework for ICAI Systems Based on Inductive Inference and Logic Programming. | Kazuhisa Kawai, Riichiro Mizoguchi, Osamu Kakusho, Jun'ichi Toyoda |
| 1986 | Verification of Prolog Programs Using an Extension of Execution. | Tadashi Kanamori, Hirohisa Seki |
| 1986 | Logic Program Semantics for Programming with Equations. | Joxan Jaffar, Peter J. Stuckey |
| 1986 | Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. | Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher |
| 1986 | An Improvised Version of Shapiro's Model Inference System. | Matthew M. Huntbach |
| 1986 | Efficient Management of Backtracking in AND-Parallelism. | Manuel V. Hermenegildo, R. I. Nasr |
| 1986 | An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. | Manuel V. Hermenegildo |
| 1986 | Declarative Graphics. | Richard Helm, Kim Marriott |
| 1986 | Logic Continuations. | Christopher T. Haynes |
| 1986 | Test-pattern Generation for VLSI Circuits in a Prolog Environment. | Rajiv Gupta |
| 1986 | Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning. | Randy Goebel, Koichi Furukawa, David Poole |
| 1986 | Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog. | Masahiro Fujita, Shinji Kono, Hidehiko Tanaka, Tohru Moto-Oka |
| 1986 | The Role of Logic Programming in the Fifth Generation Computer Project. | Kazuhiro Fuchi, Koichi Furukawa |
| 1986 | A Sequential Implementation of Parlog. | Ian T. Foster, Steve Gregory, Graem A. Ringwood, Ken Satoh |
| 1986 | Compiling OR-parallelism into AND-parallelism. | Michael Codish, Ehud Shapiro |
| 1986 | Prolog Programming Environments: Architecture and Implementation. | Takashi Chikayama |
| 1986 | The OR-Forest Description for the Execution of Logic Programs. | Chengzheng Sun, Tzu Yungui |
| 1986 | Parallel Logic Programming for Numeric Applications. | Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek |
| 1986 | Fast Decompilation of Compiled Prolog Clauses. | Kevin A. Buettner |
| 1986 | The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler. | Kenneth A. Bowen, Kevin A. Buettner, Ilyas Cicekli, Andrew K. Turk |
| 1986 | A General Model to Implement DIF and FREEZE. | Patrice Boizumault |
| 1986 | Towards a Formal Semantics for Concurrent Logic Programming Languages. | Lennart Beckman |