| 1988 | Intuitive Semantics for Quantitative Rule Sets. | V. S. Subrahmanian |
| 1988 | An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog. | Charles D. Stormon, Mark R. Brule, John V. Oldfield, D. F. Ribeiro |
| 1988 | Composing Prolog Meta-Interpreters. | Leon Sterling, Arun Lakhotia |
| 1988 | Testing Data Flow Diagrams with PARLOG. | Kevin Steer |
| 1988 | A Stream AND-Parallel Execution Algorithm with Backtracking. | Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani |
| 1988 | A Simple Near-Horn Prolog Interpreter. | Bruce T. Smith, Donald W. Loveland |
| 1988 | A Fast Prolog-Based Production System KORE/IE. | Toramatsu Shintani |
| 1988 | A Hierarchical Associative Memory Architecture for Logic Programming Unification. | Subash Shankar |
| 1988 | A Query Evaluation Method for Stratified Programs Under the Extended CWA. | Hirohisa Seki, Hidenori Itoh |
| 1988 | A Somewhat Logical Formulation of CLP Synchronisation Primitives. | Vijay A. Saraswat |
| 1988 | A VLSI Design Environment in PROLOG. | Peter B. Reintjes |
| 1988 | Fully Distributed, AND/OR-Parallel Execution of Logic Problems. | Prabhakaran Raman, Eugene W. Stark |
| 1988 | Magic Templates: A Spellbinding Approach to Logic Programs. | Raghu Ramakrishnan |
| 1988 | A Relational Semantics for Logic Programming. | Stan Raatz, Jean H. Gallier |
| 1988 | Perfect Model Semantics. | Teodor C. Przymusinski |
| 1988 | Weakly Perfect Model Semantics for Logic Programs. | Halina Przymusinska, Teodor C. Przymusinski |
| 1988 | A Simple Approach to Finding the Cause of Non-Unifiability. | Graeme S. Port |
| 1988 | Coda: An Extended Debugger for PROLOG. | Dave Plummer |
| 1988 | A Framework for Prolog Debugging. | Lus Moniz Pereira, Miguel Calejo |
| 1988 | A Theory of Directed Logic Programs and Streams. | Douglas Stott Parker Jr., Richard R. Muntz |
| 1988 | Control Structures for Guarded Horn Clauses. | Sven-Olof Nystrm |
| 1988 | A Flat GHC Implementation for Supercomputers. | Martin Nilsson, Hidehiko Tanaka |
| 1988 | The Competition Model for Parallel Execution of Logic Programs. | Kam-Wing Ng, Ho-fung Leung |
| 1988 | Parallelizing NU-Prolog. | Lee Naish |
| 1988 | An Overview of Lambda-PROLOG. | Gopalan Nadathur, Dale Miller |