| 1987 | PYTHON: An Expert Squeezer. | Leon Sterling, Yossi Nygate |
| 1987 | A System of Precise Models for Logic Programs. | Zoltan Somogyi |
| 1987 | Set Grouping and Layering in Horn Clause Programs. | Oded Shmueli, Shamim A. Naqvi |
| 1987 | An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation. | Ehud Shapiro |
| 1987 | KL1 Execution Model for PIM Cluster with Shared Memory. | Masatoshi Sato, Hajime Shimizu, Akira Matsumoto, Kazuaki Rokusawa, Atsuhiro Goto |
| 1987 | Quty: A Concurrent Language Based on Logic and Function. | Masahiko Sato |
| 1987 | Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. | Domenico Sacc, Carlo Zaniolo |
| 1987 | Answering Queries in Deductive Database Systems. | Kotagiri Ramamohanarao, John Shepherd |
| 1987 | Grammars and Logics of Partial Information. | Fernando C. N. Pereira |
| 1987 | Finite Fixed-Point Problems. | Richard A. O'Keefe |
| 1987 | An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1. | Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa |
| 1987 | Concurrent Database Updates in PROLOG. | Lee Naish, James A. Thom, Kotagiri Ramamohanarao |
| 1987 | A Performance Comparison between PLM and a M68020 PROLOG Processor. | Hans M. Mulder, Evan Tick |
| 1987 | Symbolical Construction of Truth Value Domain for Logic Program. | Shinichi Morishita, Masayuki Numao, Shin'ichi Hirose |
| 1987 | Logical Secrets. | Mark S. Miller, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy |
| 1987 | Logic Semantics for a Class of Committed-Choice Programs. | Michael J. Maher |
| 1987 | Near-Horn PROLOG. | Donald W. Loveland |
| 1987 | Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. | Timothy G. Lindholm, Richard A. O'Keefe |
| 1987 | An Approach to the Declarative Semantics of Synchronization in Logic Languages. | Giorgio Levi, Catuscia Palamidessi |
| 1987 | Stratification and Knowledge Based Management. | Catherine Lassez, Ken McAloon, Graeme S. Port |
| 1987 | PARLOG and ALICE : A Marriage of Convenience. | Melissa Lam, Steve Gregory |
| 1987 | Answer Sets and Negation-as-Failure. | Kenneth Kunen |
| 1987 | Type Synthesis for Ground Prolog. | Feliks Kluzniak |
| 1987 | Construction of Logic Programs Based on Generalized Unfold/Fold Rules. | Tadashi Kanamori, Kenji Horiuchi |
| 1987 | The REDUCE-OR Process Model for Parallel Evaluation of Logic Programs. | Laxmikant V. Kal |