| 1986 | A Framework for ICAI Systems Based on Inductive Inference and Logic Programming. Kazuhisa Kawai, Riichiro Mizoguchi, Osamu Kakusho, Jun'ichi Toyoda |
| 1986 | A GHC Abstract Machine and Instruction Set. Jacob Levy |
| 1986 | A General Model to Implement DIF and FREEZE. Patrice Boizumault |
| 1986 | A New Approach for Intruducing Prolog to Naive Users. Oded Maler, Zahava Scherz, Ehud Shapiro |
| 1986 | A Parallel Parsing System for Natural Language Analysis. Yuji Matsumoto |
| 1986 | A Prolog Processor Based on a Pattern Matching Memory Device. Ian Robinson |
| 1986 | A Sequential Implementation of Parlog. Ian T. Foster, Steve Gregory, Graem A. Ringwood, Ken Satoh |
| 1986 | A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases. Kotagiri Ramamohanarao, John Shepherd |
| 1986 | Abstract Interpretation of Prolog Programs. Chris Mellish |
| 1986 | An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. Manuel V. Hermenegildo |
| 1986 | An Improvised Version of Shapiro's Model Inference System. Matthew M. Huntbach |
| 1986 | An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs. Yow-Jian Lin, Vipin Kumar, Clement H. C. Leung |
| 1986 | Choices in, and Limitations of, Logic Programming. Paul J. Voda |
| 1986 | Compiler Optimizations for the WAM. Andrew K. Turk |
| 1986 | Compiling OR-parallelism into AND-parallelism. Michael Codish, Ehud Shapiro |
| 1986 | Completeness of the SLDNF-resolution for a class of logic programs. Roberto Barbuti, Maurizio Martelli |
| 1986 | Control of Logic Program Execution Based on the Functional Relations. Katsuhiko Nakamura |
| 1986 | Cut and Paste - defining the impure Primitives of Prolog. Chris Moss |
| 1986 | Cyclic Tree Traversal. Martin Nilsson, Hidehiko Tanaka |
| 1986 | Declarative Graphics. Richard Helm, Kim Marriott |
| 1986 | Delta Prolog: A Distributed Backtracking Extension with Events. Luís Moniz Pereira, Luís Monteiro, José C. Cunha, Joaquim Nunes Aparício |
| 1986 | Design Overview of the NAIL! System. Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder |
| 1986 | Design of a Prolog-Based Machine Translation System. Michael C. McCord |
| 1986 | Detection and Optimization of Functional Computations in Prolog. David Scott Warren, Saumya K. Debray |
| 1986 | Efficient Management of Backtracking in AND-Parallelism. Manuel V. Hermenegildo, R. I. Nasr |
| 1986 | Eqivalences of Logic Programs. Michael J. Maher |
| 1986 | Fast Decompilation of Compiled Prolog Clauses. Kevin A. Buettner |
| 1986 | Gracefully adding negation and disjunction to Prolog. David Poole, Randy Goebel |
| 1986 | Higher-Order Logic Programming. Dale Miller, Gopalan Nadathur |
| 1986 | How to Invent a Prolog Machine. Peter Kursawe |
| 1986 | Interfacing Prolog to a Persistent Data Store. David S. Moffat, Peter M. D. Gray |
| 1986 | Intractable Unifiability Problems and Backtracking. David A. Wolfram |
| 1986 | Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher |
| 1986 | Logic Continuations. Christopher T. Haynes |
| 1986 | Logic Program Semantics for Programming with Equations. Joxan Jaffar, Peter J. Stuckey |
| 1986 | Logic Programs and Alternation. Petr Stepánek, Olga Stepánková |
| 1986 | Making Exhaustive Search Programs Deterministic. Kazunori Ueda |
| 1986 | Memory Performance of Lisp and Prolog Programs. Evan Tick |
| 1986 | Negation and Quantifiers in NU-Prolog. Lee Naish |
| 1986 | OLD Resolution with Tabulation. Hisao Tamaki, Taisuke Sato |
| 1986 | On the Complexity of Unification Sequences. Heikki Mannila, Esko Ukkonen |
| 1986 | On the Semantics of Logic Programing Languages. Alberto Martelli, Gianfranco Rossi |
| 1986 | P-Prolog: A Parallel Logic Language Based on Exclusive Relation. Rong Yang, Hideo Aiso |
| 1986 | Parallel Logic Programming Languages. Akikazu Takeuchi, Koichi Furukawa |
| 1986 | Parallel Logic Programming for Numeric Applications. Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek |
| 1986 | Procedures in Horn-Clause Programming. M. A. Nait Abdallah |
| 1986 | Prolog Programming Environments: Architecture and Implementation. Takashi Chikayama |
| 1986 | Qualified Answers and their Application to Transformation. Phil Vasey |
| 1986 | Rational Debugging in Logic Programming. Luís Moniz Pereira |
| 1986 | Sequential and Concurrent Deterministic Logic Grammars. Harvey Abramson |
| 1986 | Shared Memory Execution of Committed-choice Languages. Jacob Levy |
| 1986 | Test-pattern Generation for VLSI Circuits in a Prolog Environment. Rajiv Gupta |
| 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 | The OR-Forest Description for the Execution of Logic Programs. Chengzheng Sun, Tzu Yungui |
| 1986 | The Role of Logic Programming in the Fifth Generation Computer Project. Kazuhiro Fuchi, Koichi Furukawa |
| 1986 | Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings Ehud Shapiro |
| 1986 | Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog. Masahiro Fujita, Shinji Kono, Hidehiko Tanaka, Tohru Moto-Oka |
| 1986 | Towards a Formal Semantics for Concurrent Logic Programming Languages. Lennart Beckman |
| 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 | Using Prolog to Represent and Reason about Protein Structure. Christopher J. Rawlings, W. R. Taylor, J. Nyakairu, John Fox, Michael J. E. Sternberg |
| 1986 | Verification of Prolog Programs Using an Extension of Execution. Tadashi Kanamori, Hirohisa Seki |