Abstract is missing.
- Introduction to ELP 93Roy Dyckhoff. 1-2
- Design for AKL with Intelligent PruningSalvador Abreu, Luís Moniz Pereira. 3-10
- Contradiction: When Avoidance Equals Removal - Part IJosé Júlio Alferes, Luís Moniz Pereira. 11-23
- Birkhoff s HSP-Theorem for Cumulative Logic ProgramsBeatrice Amrhein. 24-36
- Finite Domains and Exclusions as First-Class CitizensHarold Boley. 37-61
- Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer ArchitectureAnna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli. 62-76
- A Language with Finite Sets Embedded in the CLP-schemeAgostino Dovier. 77-93
- Finitary Partial Inductive Definitions as a General LogicLars-Henrik Eriksson. 94-119
- Programming Methodologies in GCLAGöran Falkman, Olof Torgersson. 120-151
- Computing Cost Estimates for Proof StrategiesKnut Hinkelmann, Helge Hintze. 152-170
- Logic Programming with Multiple Context Management SchemesJoshua S. Hodas. 171-182
- Non-Procedural Logic ProgrammingSeppo Keronen. 183-195
- Axioms in Definitional CalculiPer Kreuger. 196-205
- A Proposal for Modules in Lambda-PrologDale Miller. 206-221
- Regular Search Spaces as a Foundation of Logic ProgrammingAlberto Momigliano, Mario Ornaghi. 222-254
- Answer Sets and Nonmonotonic S4David Pearce. 255-267
- Contradiction: When Avoidance Equals Removal - Part IIJosé Júlio Alferes, Luís Moniz Pereira. 268-281
- Cut Formulae and Logic ProgrammingLuis Pinto. 282-300
- Higher-order Aspects of Logic ProgrammingUday S. Reddy. 301-321
- Representation and Inference with Consistent Temporal PropositionsCristina Ribeiro, António Porto. 322-332
- Definitional Reflection and the CompletionPeter Schroeder-Heister. 333-347
- Linear Logic Semantics for Concurrent PrologJirí Zlatuska. 348-360