| 1987 | Methodology and Implementation of a CLP System. | Joxan Jaffar, Spiro Michaylov |
| 1987 | A Distributed Implementation of Flat GHC on the Multi-PSI. | M. Ichiyoshi, T. Miyazaki, Kazuo Taki |
| 1987 | Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. | Manuel V. Hermenegildo |
| 1987 | Forward Checking in Logic Programming. | Pascal Van Hentenryck, Mehmet Dincbas |
| 1987 | Inductive and Deductive Control of Logic Programs. | Richard Helm |
| 1987 | CLP(R) and Some Electrical Engineering Problems. | Nevin Heintze, Spiro Michaylov, Peter J. Stuckey |
| 1987 | Advantages of Implementing PROLOG by Microprogramming a Host General Purpose Computer. | Jeffrey D. Gee, Stephen W. Melvin, Yale N. Patt |
| 1987 | Boosting Logic Programming. | Herv Gallaire |
| 1987 | Logic Operating System: Design Issues. | Ian T. Foster |
| 1987 | An Efficient Logic Programming Language and Its Application to Music. | Kemal Ebcioglu |
| 1987 | Experiments with OR-Parallel Logic Programs. | Terry Disz, Ewing L. Lusk, Ross A. Overbeek |
| 1987 | Implementing Backward Execution in Non-Deterministic AND-Parallel Systems. | John S. Conery |
| 1987 | PARLOG and PROLOG United. | Keith L. Clark, Steve Gregory |
| 1987 | Multiple Reference Management in Flat GHC. | Takashi Chikayama, Yasunori Kimura |
| 1987 | Evaluating Logic Programs via Set-Valued Functions. | Carlo Cecchi, Dario Sartini, Luigia Carlucci Aiello |
| 1987 | Freeze, Indexing, and Other Implementation Issues in the WAM. | Mats Carlsson |
| 1987 | Hash Tables in Logic Programming. | Jonas Barklund, Hkan Millroth |
| 1987 | Meta-Level Programming: A Compiled Approach. | Hamid Bacha |
| 1986 | P-Prolog: A Parallel Logic Language Based on Exclusive Relation. | Rong Yang, Hideo Aiso |
| 1986 | Intractable Unifiability Problems and Backtracking. | David A. Wolfram |
| 1986 | Detection and Optimization of Functional Computations in Prolog. | David Scott Warren, Saumya K. Debray |
| 1986 | Choices in, and Limitations of, Logic Programming. | Paul J. Voda |
| 1986 | Qualified Answers and their Application to Transformation. | Phil Vasey |
| 1986 | Making Exhaustive Search Programs Deterministic. | Kazunori Ueda |
| 1986 | Compiler Optimizations for the WAM. | Andrew K. Turk |