| 1987 | A Database-Complete Proof Procedure Based on SLD-Resolution. Laurent Vieille |
| 1987 | A Distributed Implementation of Flat GHC on the Multi-PSI. M. Ichiyoshi, T. Miyazaki, Kazuo Taki |
| 1987 | A Performance Comparison between PLM and a M68020 PROLOG Processor. Hans M. Mulder, Evan Tick |
| 1987 | A Performance-Oriented Design for OR-Parallel Logic Programming. Peter Tinker, Gary Lindstrom |
| 1987 | A System of Precise Models for Logic Programs. Zoltan Somogyi |
| 1987 | A Theoretical Combination of SLD-Resolution and Narrowing. Akihiro Yamamoto |
| 1987 | Advantages of Implementing PROLOG by Microprogramming a Host General Purpose Computer. Jeffrey D. Gee, Stephen W. Melvin, Yale N. Patt |
| 1987 | An Approach to the Declarative Semantics of Synchronization in Logic Languages. Giorgio Levi, Catuscia Palamidessi |
| 1987 | An Efficient Logic Programming Language and Its Application to Music. Kemal Ebcioglu |
| 1987 | An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation. Ehud Shapiro |
| 1987 | An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1. Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa |
| 1987 | Answer Sets and Negation-as-Failure. Kenneth Kunen |
| 1987 | Answering Queries in Deductive Database Systems. Kotagiri Ramamohanarao, John Shepherd |
| 1987 | Boosting Logic Programming. Hervé Gallaire |
| 1987 | CLP(R) and Some Electrical Engineering Problems. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey |
| 1987 | Channels: A Generalization of Streams. Eric Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Shapiro |
| 1987 | Concurrent Database Updates in PROLOG. Lee Naish, James A. Thom, Kotagiri Ramamohanarao |
| 1987 | Construction of Logic Programs Based on Generalized Unfold/Fold Rules. Tadashi Kanamori, Kenji Horiuchi |
| 1987 | Derivation of Polymorphic Types for PROLOG Programs. Justin Zobel |
| 1987 | Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. Timothy G. Lindholm, Richard A. O'Keefe |
| 1987 | Evaluating Logic Programs via Set-Valued Functions. Carlo Cecchi, Dario Sartini, Luigia Carlucci Aiello |
| 1987 | Experiments with OR-Parallel Logic Programs. Terry Disz, Ewing L. Lusk, Ross A. Overbeek |
| 1987 | Finite Fixed-Point Problems. Richard A. O'Keefe |
| 1987 | Forward Checking in Logic Programming. Pascal Van Hentenryck, Mehmet Dincbas |
| 1987 | Freeze, Indexing, and Other Implementation Issues in the WAM. Mats Carlsson |
| 1987 | Grammars and Logics of Partial Information. Fernando C. N. Pereira |
| 1987 | Hash Tables in Logic Programming. Jonas Barklund, Håkan Millroth |
| 1987 | Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. Domenico Saccà, Carlo Zaniolo |
| 1987 | Implementing Backward Execution in Non-Deterministic AND-Parallel Systems. John S. Conery |
| 1987 | Inductive and Deductive Control of Logic Programs. Richard Helm |
| 1987 | KL1 Execution Model for PIM Cluster with Shared Memory. Masatoshi Sato, Hajime Shimizu, Akira Matsumoto, Kazuaki Rokusawa, Atsuhiro Goto |
| 1987 | Logic Operating System: Design Issues. Ian T. Foster |
| 1987 | Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes) Jean-Louis Lassez |
| 1987 | Logic Semantics for a Class of Committed-Choice Programs. Michael J. Maher |
| 1987 | Logical Secrets. Mark S. Miller, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy |
| 1987 | Making Exhaustive Search Programs Deterministic, Part II. Kazunori Ueda |
| 1987 | Meta-Level Programming: A Compiled Approach. Hamid Bacha |
| 1987 | Methodology and Implementation of a CLP System. Joxan Jaffar, Spiro Michaylov |
| 1987 | Multiple Reference Management in Flat GHC. Takashi Chikayama, Yasunori Kimura |
| 1987 | Near-Horn PROLOG. Donald W. Loveland |
| 1987 | PARLOG and ALICE : A Marriage of Convenience. Melissa Lam, Steve Gregory |
| 1987 | PARLOG and PROLOG United. Keith L. Clark, Steve Gregory |
| 1987 | PYTHON: An Expert Squeezer. Leon Sterling, Yossi Nygate |
| 1987 | Quty: A Concurrent Language Based on Logic and Function. Masahiko Sato |
| 1987 | Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. Manuel V. Hermenegildo |
| 1987 | Set Grouping and Layering in Horn Clause Programs. Oded Shmueli, Shamim A. Naqvi |
| 1987 | Stratification and Knowledge Based Management. Catherine Lassez, Ken McAloon, Graeme S. Port |
| 1987 | Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages. Hisao Tamaki |
| 1987 | Symbolical Construction of Truth Value Domain for Logic Program. Shinichi Morishita, Masayuki Numao, Shin'ichi Hirose |
| 1987 | The REDUCE-OR Process Model for Parallel Evaluation of Logic Programs. Laxmikant V. Kalé |
| 1987 | Type Synthesis for Ground Prolog. Feliks Kluzniak |