| 1989 | A Deduction Procedure for First Order Programs. Denis Lugiez |
| 1989 | A Logical Database Query Language with Object Identity and Strong Typing. Paris C. Kanellakis, Serge Abiteboul |
| 1989 | A Metalogic Programming Language. Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1989 | A Performance Comparison of AND- and OR-Parallel Logic Programming Architectures. Evan Tick |
| 1989 | A Relevant Scheme for Prolog Extensions: CLP(Conceptual Theory). Henri Behringer, Franck Porcher |
| 1989 | A Simple Code Improvement Scheme for Prolog. Saumya K. Debray |
| 1989 | Abduction Compared with Negation by Failure. Kave Eshghi, Robert A. Kowalski |
| 1989 | An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso |
| 1989 | Average Time Analyses Related to Logic Programming. Nachum Dershowitz, Naomi Lindenstrauss |
| 1989 | CLP(Sigma*): Constraint Logic Programming with Regular Sets. Clifford Walinsky |
| 1989 | Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism. Kalyan Muthukumar, Manuel V. Hermenegildo |
| 1989 | Constraint Hierarchies and Logic Programming. Alan Borning, Michael J. Maher, Amy Martindale, Molly Wilson |
| 1989 | Contextual Logic Programming. Luís Monteiro, António Porto |
| 1989 | Continuity, Consistency, and Completeness Properties for Logic Programs. Lawrence Cavedon |
| 1989 | Contributions to the View Update Problem. Francesca Rossi, Shamim A. Naqvi |
| 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 | Extending the Semantics of Logic Programs to Disjunctive Logic Programs. Jorge Lobo, Jack Minker, Arcot Rajasekar |
| 1989 | Lexical Scoping as Universal Quantification. Dale Miller |
| 1989 | Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989 Giorgio Levi, Maurizio Martelli |
| 1989 | Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. Antonio Brogi, Roberto Gorrieri |
| 1989 | Narrowing Grammars. H. Lewis Chau, Douglas Stott Parker Jr. |
| 1989 | Non-Monotonic Formalisms and Logic Programming. Teodor C. Przymusinski |
| 1989 | Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. Christian Codognet, Philippe Codognet |
| 1989 | On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. Mats Carlsson |
| 1989 | On the Safe Termination of PROLOG Programs. Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop |
| 1989 | Pandora: Non-deterministic Parallel Logic Programming. Reem Bahgat, Steve Gregory |
| 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 | Programming in Delta Prolog. José C. Cunha, Maria C. Ferreira, Luís Moniz Pereira |
| 1989 | Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs. Andrea Asperti, Simone Martini |
| 1989 | Removal of Dereferencing and Trailing in Prolog Compilation. Andrew Taylor |
| 1989 | Scheduling Or-parallelism in Aurora: The Manchester Scheduler. Alan Calderwood, Péter Szeredi |
| 1989 | Semantic Models for a Version of PARLOG. Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
| 1989 | Solving Simple Substitution Ciphers in Andorra-I. Rong Yang |
| 1989 | Test Generation using the Constraint Logic Programming Language CHIP. Helmut Simonis |
| 1989 | The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. Evelina Lamma, Paola Mello, Antonio Natali |
| 1989 | The Impact of Abstract Interpretation: An Experiment in Code Generation. André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe |
| 1989 | The NU-Prolog Debugging Environment. Lee Naish, Philip W. Dart, Justin Zobel |
| 1989 | The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. V. Wiktor Marek, V. S. Subrahmanian |
| 1989 | Towards Distributed Tools for Heterogeneous Logic Programming Environments. José A. S. Alegria, Artur M. Dias, Luís Caires |
| 1989 | Unfold/Fold Transformation of Stratified Programs. Hirohisa Seki |