| 1988 | A Broader Interpretation of Logic in Logic Programming. | Alan Bundy |
| 1988 | An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. | Maurice Bruynooghe, Gerda Janssens |
| 1988 | Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. | A. Bruffaerts, E. Henin |
| 1988 | Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM. | Mike Brayshaw, Marc Eisenstadt |
| 1988 | Exploiting the Full Power of Logic Plus Functional Programming. | Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso |
| 1988 | Towards a Clean Amalgamation of Logic Programs with External Procedures. | Staffan Bonnier, Jan Maluszynski |
| 1988 | A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs. | Prasenjit Biswas, Shyh-Chang Su, David Y. Y. Yun |
| 1988 | Semantical Equivalences of (Non-Classical) Logic Programs. | Ada Batarekh, V. S. Subrahmanian |
| 1988 | Condition Graphs. | Jonas Barklund, Nils Hagner, Malik Wafin |
| 1988 | Meta Prolog Design and Implementation. | Hamid Bacha |
| 1988 | Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation. | I. Attila, Paul Franchi-Zannettacci |
| 1988 | Arithmetic Classification of Perfect Models of Stratified Programs. | Krzysztof R. Apt, Howard A. Blair |
| 1988 | The Delphi Model and Some Preliminary Experiments. | Hiyan Alshawi, Douglas B. Moran |
| 1988 | Multiple Interpretations of the Logical Structure of Legal Rules: Impediment or Boon to Legal Expert Systems? | Layman E. Allen, Charles S. Saxon |
| 1988 | An Architectural Model for a Flat Concurrent Prolog Processor. | Leon Alkalaj, Ehud Shapiro |
| 1988 | OR-Parallel Execution of Prolog on BC-Machine. | Khayri A. M. Ali |
| 1988 | Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. | Harvey Abramson |
| 1988 | Heuristic Logic and the Process of Discovery. | M. A. Nait Abdallah |
| 1987 | Derivation of Polymorphic Types for PROLOG Programs. | Justin Zobel |
| 1987 | A Theoretical Combination of SLD-Resolution and Narrowing. | Akihiro Yamamoto |
| 1987 | A Database-Complete Proof Procedure Based on SLD-Resolution. | Laurent Vieille |
| 1987 | Making Exhaustive Search Programs Deterministic, Part II. | Kazunori Ueda |
| 1987 | Channels: A Generalization of Streams. | Eric Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Shapiro |
| 1987 | A Performance-Oriented Design for OR-Parallel Logic Programming. | Peter Tinker, Gary Lindstrom |
| 1987 | Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages. | Hisao Tamaki |