| 1990 | A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs. | Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe |
| 1990 | A Logic Programming Approach to Specifying Logics and Constructing Proofs. | Hajime Sawamura, Toshiro Minami, Kaoru Yocota, Kyoko Ohashi |
| 1990 | The Paradigm of Concurrent Constraint Programming. | Vijay A. Saraswat |
| 1990 | OR-Parallel Prolog and Search Problems in AI Applications. | T. J. Reynolds, Petros Kefalas |
| 1990 | What Should a Database Know? | Raymond Reiter |
| 1990 | Extended Stable Semantics for Normal and Disjunctive Programs. | Teodor C. Przymusinski |
| 1990 | A Notion of Map between Logic Programs. | A. John Power, Leon Sterling |
| 1990 | Termination Proofs for Logic Programs Based on Predicate Inequalities. | Lutz Plmer |
| 1990 | Types in Logic Programming. | Frank Pfenning |
| 1990 | Extending Definite Clause Grammars with Scoping Constructs. | Remo Pareschi, Dale Miller |
| 1990 | A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing. | Jukka Paakki |
| 1990 | Evaluation of MRB Garbage Collection on Parallel Logic Programming Architectures. | Kenji Nishida, Yasunori Kimura, Akira Matsumoto, Atsuhiro Goto |
| 1990 | The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. | Kalyan Muthukumar, Manuel V. Hermenegildo |
| 1990 | Analysis of Shared Data Structures for Compile-Time Garbage. | Anne Mulkers, William H. Winsborough, Maurice Bruynooghe |
| 1990 | A Transformational View of Inheritance in Logic Programming. | Lus Monteiro, Antnio Porto |
| 1990 | Higher-Order Logic Programming. | Dale Miller |
| 1990 | Architected Failure Handling for AND-Parallel Logic Programs. | David M. Meyer, John S. Conery |
| 1990 | An Algorithm for Optimal Back-Striding in Prolog. | Vishv M. Malhotra |
| 1990 | Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. | Kung-Kiu Lau, Steven D. Prestwich |
| 1990 | Logic Programs with Exceptions. | Robert A. Kowalski, Fariba Sadri |
| 1990 | Sequential Architecture Models for Prolog: A Performance Comparison. | Mark Korsloot, Hans M. Mulder |
| 1990 | Parallel Logic Programming Systems. | Jacques Chassin de Kergommeaux |
| 1990 | Multiple Specialization of Logic Programs with Run-Time Test. | Dean Jacobs, Anno Langen, William H. Winsborough |
| 1990 | A Detection Algorithm of Perpetual Suspension in KL1. | Yu Inamura, Satoshi Onishi |
| 1990 | Representing Objects in a Logic Programming Langueage with Scoping Constructs. | Joshua S. Hodas, Dale Miller |