| 1989 | A Performance Comparison of AND- and OR-Parallel Logic Programming Architectures. | Evan Tick |
| 1989 | Removal of Dereferencing and Trailing in Prolog Compilation. | Andrew Taylor |
| 1989 | Test Generation using the Constraint Logic Programming Language CHIP. | Helmut Simonis |
| 1989 | Unfold/Fold Transformation of Stratified Programs. | Hirohisa Seki |
| 1989 | Contributions to the View Update Problem. | Francesca Rossi, Shamim A. Naqvi |
| 1989 | Non-Monotonic Formalisms and Logic Programming. | Teodor C. Przymusinski |
| 1989 | Decidability Results and Characterization of Strategies for the Development of Logic Programs. | Alberto Pettorossi, Maurizio Proietti |
| 1989 | Distributed Implementation of KL1 on the Multi-PSI/V2. | Katsuto Nakajima, Yu Inamura, Kazuaki Rokusawa, Nobuyuki Ichiyoshi, Takashi Chikayama |
| 1989 | The NU-Prolog Debugging Environment. | Lee Naish, Philip W. Dart, Justin Zobel |
| 1989 | Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism. | Kalyan Muthukumar, Manuel V. Hermenegildo |
| 1989 | Contextual Logic Programming. | Lus Monteiro, Antnio Porto |
| 1989 | Lexical Scoping as Universal Quantification. | Dale Miller |
| 1989 | The Impact of Abstract Interpretation: An Experiment in Code Generation. | Andr Marin, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe |
| 1989 | The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. | V. Wiktor Marek, V. S. Subrahmanian |
| 1989 | A Deduction Procedure for First Order Programs. | Denis Lugiez |
| 1989 | Extending the Semantics of Logic Programs to Disjunctive Logic Programs. | Jorge Lobo, Jack Minker, Arcot Rajasekar |
| 1989 | The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. | Evelina Lamma, Paola Mello, Antonio Natali |
| 1989 | A Logical Database Query Language with Object Identity and Strong Typing. | Paris C. Kanellakis, Serge Abiteboul |
| 1989 | Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. | Pascal Van Hentenryck |
| 1989 | Polymorphic High-Order Programming in Prolog. | Michael Hanus |
| 1989 | Abduction Compared with Negation by Failure. | Kave Eshghi, Robert A. Kowalski |
| 1989 | Average Time Analyses Related to Logic Programming. | Nachum Dershowitz, Naomi Lindenstrauss |
| 1989 | A Simple Code Improvement Scheme for Prolog. | Saumya K. Debray |
| 1989 | Programming in Delta Prolog. | Jos C. Cunha, Maria C. Ferreira, Lus Moniz Pereira |
| 1989 | A Metalogic Programming Language. | Stefania Costantini, Gaetano Aurelio Lanzarone |