| 1990 | &-Prolog and its Performance: Exploiting Independent And-Parallelism. Manuel V. Hermenegildo, K. J. Greene |
| 1990 | A Detection Algorithm of Perpetual Suspension in KL1. Yu Inamura, Satoshi Onishi |
| 1990 | A Logic Programming Approach to Specifying Logics and Constructing Proofs. Hajime Sawamura, Toshiro Minami, Kaoru Yocota, Kyoko Ohashi |
| 1990 | A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing. Jukka Paakki |
| 1990 | A Matching Tree Oriented Abstract Machine for Prolog. Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima |
| 1990 | A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. François Fages |
| 1990 | A New Implementation Technique for Flat GHC. Kazunori Ueda, Masao Morita |
| 1990 | A Notion of Map between Logic Programs. A. John Power, Leon Sterling |
| 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 Transformational View of Inheritance in Logic Programming. Luís Monteiro, António Porto |
| 1990 | AND-Parallelism without Shared Variables. Antonio Brogi |
| 1990 | Acyclic Programs. Krzysztof R. Apt, Marc Bezem |
| 1990 | An Algorithm for Optimal Back-Striding in Prolog. Vishv M. Malhotra |
| 1990 | An Extended RISC Methodology and its Application to FCP. Arie Harsat, Ran Ginosar |
| 1990 | Analysis of Shared Data Structures for Compile-Time Garbage. Anne Mulkers, William H. Winsborough, Maurice Bruynooghe |
| 1990 | Architected Failure Handling for AND-Parallel Logic Programs. David M. Meyer, John S. Conery |
| 1990 | Efficient Parallel Term Matching and Anti-Unification. Arthur L. Delcher, Simon Kasif |
| 1990 | Evaluation of MRB Garbage Collection on Parallel Logic Programming Architectures. Kenji Nishida, Yasunori Kimura, Akira Matsumoto, Atsuhiro Goto |
| 1990 | Extended Stable Semantics for Normal and Disjunctive Programs. Teodor C. Przymusinski |
| 1990 | Extending Definite Clause Grammars with Scoping Constructs. Remo Pareschi, Dale Miller |
| 1990 | Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. Laurent Fribourg |
| 1990 | Generalized Stable Models, Truth Maintenance and Conflict Resolution. Laura Giordano, Alberto Martelli |
| 1990 | Generation and Compilation of Efficient Computation Rules. Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe |
| 1990 | Global Optimization Problems for Database Logic Programs. Moshe Y. Vardi |
| 1990 | HIFUNLOG : Logic Programming with Higher-order Relational Functions. Yeh-Heng Sheng |
| 1990 | Higher-Order Logic Programming. Dale Miller |
| 1990 | How Hard Is It to Reason about Propositional Programs? David Harel |
| 1990 | Incremental Constraint Satisfaction in Logic Programming. Pascal Van Hentenryck |
| 1990 | Incremental Re-evaluation of LDL Queries. Oded Shmueli, Shalom Tsur |
| 1990 | Intensional Updates: Abduction via Deduction. François Bry |
| 1990 | Kernel Andorra Prolog and its Computation Model. Seif Haridi, Sverker Janson |
| 1990 | LIPS on a MIPS: Results from a Prolog Compiler for a RISC. Andrew Taylor |
| 1990 | Linear Objects in a Logic Processes with Built-in Inheritance. Jean-Marc Andreoli, Remo Pareschi |
| 1990 | Logic Programming and Databases. Catriel Beeri |
| 1990 | Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990 David H. D. Warren, Péter Szeredi |
| 1990 | Logic Programs with Classical Negation. Michael Gelfond, Vladimir Lifschitz |
| 1990 | Logic Programs with Exceptions. Robert A. Kowalski, Fariba Sadri |
| 1990 | Logic and Functional Programming on Distributed Memory Architecture. Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso, Marisa Porta, Giorgio Sofi |
| 1990 | Logical Diagnosis of LDL Programs. Oded Shmueli, Shalom Tsur |
| 1990 | Multiple Specialization of Logic Programs with Run-Time Test. Dean Jacobs, Anno Langen, William H. Winsborough |
| 1990 | Non-Strict Independent And-Parallelism. Manuel V. Hermenegildo, Francesca Rossi |
| 1990 | OR-Parallel Prolog and Search Problems in AI Applications. T. J. Reynolds, Petros Kefalas |
| 1990 | On Warren's Method for Functional Programming in Logic. Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards |
| 1990 | Parallel Logic Programming Systems. Jacques Chassin de Kergommeaux |
| 1990 | Pipeline Optimizations in AND-Parallel Logic Programs. Roberto Giacobazzi, Laura Ricci |
| 1990 | Prolog III as it Actually Is. Alain Colmerauer |
| 1990 | Representing Objects in a Logic Programming Langueage with Scoping Constructs. Joshua S. Hodas, Dale Miller |
| 1990 | Semantics of Logic Programs. Haim Gaifman |
| 1990 | Sequential Architecture Models for Prolog: A Performance Comparison. Mark Korsloot, Hans M. Mulder |
| 1990 | Termination Proofs for Logic Programs Based on Predicate Inequalities. Lutz Plümer |
| 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 | The Derivation of an Algorithm for Program Specialisation. John P. Gallagher, Maurice Bruynooghe |
| 1990 | The Paradigm of Concurrent Constraint Programming. Vijay A. Saraswat |
| 1990 | Top-Down Integrity Constraint Checking for Deductive Databases. Ulrike Griefahn, Stefan Lüttringhaus |
| 1990 | Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. Kung-Kiu Lau, Steven D. Prestwich |
| 1990 | Types in Logic Programming. Frank Pfenning |
| 1990 | What Should a Database Know? Raymond Reiter |