| 1991 | Prolog as a Host Language. | Bernard Migault, Franois Rousselot, Laurent Cervoni |
| 1991 | Recursion versus Iteration in Prolog. | Micha Meier |
| 1991 | Register Allocation in WAM. | Ludek Matyska, Adriana Jergov, David Toman |
| 1991 | Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming. | Bruno Marre |
| 1991 | AMLOG-E: A New Approach towards Amalgamation. | Glenn Mansfield, Atsushi Togashi, Nobuhisa Miake, Shoichi Noguchi |
| 1991 | On the Semantics of Logic Programs. | Giorgio Levi |
| 1991 | Proving Program Properties by Means of SLS-Resolution. | Jonathan M. Lever |
| 1991 | Legislation as Logic Programs. | Robert A. Kowalski |
| 1991 | Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages. | Mark Korsloot, Evan Tick |
| 1991 | Substitution and Refutation Revisited. | Hai-Ping Ko, Mark E. Nadel |
| 1991 | On Data-type-centered, Correctness-oriented Design. | Henryk Jan Komorowski |
| 1991 | Controlling Search with Meta-Brave. | Petros Kefalas, T. J. Reynolds |
| 1991 | Implementation Techniques for Scoping Constructs in Logic Programming. | Bharat Jayaraman, Gopalan Nadathur |
| 1991 | Verifying Logic Programs from Metric Semantic Characterizations. | Jean-Marie Jacquet |
| 1991 | Introduction to Logic Programming. | Jean-Marie Jacquet |
| 1991 | Extended Logic Programs with Default Assumptions. | Katsumi Inoue |
| 1991 | Extended Well-Founded Model Semantics for General Logic Programs. | Yong Hu, Li-Yan Yuan |
| 1991 | The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. | Pascal Van Hentenryck, Yves Deville |
| 1991 | CARMEL-4: The Unify-Spawn Machine for FCP. | Arie Harsat, Ran Ginosar |
| 1991 | A Clausal Form for the Completion of Logic Programs. | James Harland |
| 1991 | Parallel Logic Programming based on the Andorra Principle. | Seif Haridi |
| 1991 | Higher-Order Unification as a Theorem Proving Procedure. | Masami Hagiya |
| 1991 | From Abstract Data Types to Logic Programs: A Transformational Approach. | Naji Habra |
| 1991 | ACE: And/Or-parallel Copying-based Execution of Logic Programs. | Gopal Gupta, Manuel V. Hermenegildo |
| 1991 | Debugging Parallel Strand Programs. | Martin Gittins |