| 1991 | Deriving Logic Programs from Observations. | David R. Gilbert, Christopher J. Hogger |
| 1991 | Modeling Answer Constraints in Constraint Logic Programs. | Maurizio Gabbrielli, Giorgio Levi |
| 1991 | A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. | Hiroshi Fujita, Ryuzo Hasegawa |
| 1991 | Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. | Laurent Fribourg |
| 1991 | Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. | Pierre Flener, Yves Deville |
| 1991 | Basic Concepts of Logic Programming and Prolog. | Grard Ferrand |
| 1991 | Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases. | Jos Alberto Fernndez, Jack Minker |
| 1991 | Performance of Competitive OR-Parallelism. | Wolfgang Ertel |
| 1991 | A Flexible Scheduler for the Andorra-I System. | Ins de Castro Dutra |
| 1991 | Negations as Hypotheses: An Abductive Foundation for Logic Programming. | Phan Minh Dung |
| 1991 | Towards Possibilistic Logic Programming. | Didier Dubois, Jrme Lang, Henri Prade |
| 1991 | {log}: A Logic Programming Language with Finite Sets. | Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi |
| 1991 | Constraint Handling, Garbage Collection and Execution Model Issues in ElipSys. | Michel Dorochevsky, Kees Schuerman, Andr Vron, Jiyang Xu |
| 1991 | Software Development and Logic Programming. | Yves Deville, Leon Sterling, Pierre Deransart |
| 1991 | On Generalized Cover Axioms. | Hendrik Decker |
| 1991 | Automatic Complexity Analysis of Logic Programs. | Saumya K. Debray, Nai-Wei Lin |
| 1991 | Abstract Interpretation of Logic Programs. | Patrick Cousot |
| 1991 | The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. | Vtor Santos Costa, David H. D. Warren, Rong Yang |
| 1991 | The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model. | Vtor Santos Costa, David H. D. Warren, Rong Yang |
| 1991 | Proving Correctness of Logic Programs Using Axiomatic Semantics. | Livio Colussi, Elena Marchiori |
| 1991 | Extending the WAM for Intelligent Backtracking. | Philippe Codognet, Thierry Sola |
| 1991 | Suspension Analysis for Concurrent Logic Programs. | Michael Codish, Moreno Falaschi, Kim Marriott |
| 1991 | Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. | Michael Codish, Dennis Dams, Eyal Yardeni |
| 1991 | An Intensional Logic of (Multi-Arity) Set Abstractions. | Weidong Chen, David Scott Warren |
| 1991 | Higher Level Meta Programming in Qu-Prolog 3: 0. | Anthony S. K. Cheng, Peter J. Robinson, John Staples |