David Scott Warren (Ed.): Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, June 21-25, 1993, Budapest, Hungary. MIT Press 1993, ISBN 0-262-73105-3

Invited Talks

• 
  Ivan Futó: Prolog with Communicating Processes: From T-Prolog to CSR-Prolog. 3-17
• 
  Anil Nerode, Wolf Kohn: Hybrid Systems and Constraint Logic Programming. 18-24

Higher-Order Extensions to Prolog

• 
  Pascal Brisset, Olivier Ridoux: Continuations in Lambda-Prolog. 27-43
• 
  L. Thorne McCarty: Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic. 44-63
• 
  Serge Le Huitouze, Pascale Louvet, Olivier Ridoux: Logic Grammars and Lambda-Prolog. 64-79

Freeness

• 
  Michael Hanus: Analysis of Nonlinear Constraints in CLP(R). 83-99
• 
  Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish: Freeness Analysis in the Presence of Numerical Constraints. 100-115
• 
  Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe: Freeness Analysis for Logic Programs - And Correctness? 116-131

Parallel Implementations 1

• 
  Tony Beaumont, David H. D. Warren: Scheduling Speculative Work in Or-Parallel Prolog Systems. 135-149
• 
  Rong Yang, Tony Beaumont, Inês de Castro Dutra, Vítor Santos Costa, David H. D. Warren: Performance of the Compiler-Based Andorra-I System. 150-166
• 
  Kish Shen: Implementing Dynamic Dependent And-Parallelism. 167-183
• 
  Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo: Some Paradigms for Visualizing Parallel Execution of Logic Programs. 184-200

Actions

• 
  Javier Pinto, Raymond Reiter: Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. 203-221
• 
  Phan Minh Dung: Representing Actions in Logic Programming and Its Applications in Database Updates. 222-238
• 
  Christoph Brzoska: Temporal Logic Programming with Bounded Universal Modality Goals. 239-256
• 
  Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. 257-279

Parallel Implementations 2

• 
  Johan Bevemyr, Thomas Lindgren, Håkan Millroth: Reform Prolog: The Language and Its Implementation. 283-298
• 
  Koenraad De Bosschere, Jean-Marie Jacquet: Multi-Prolog: Definition, Operational Semantics and Implementation. 299-313
• 
  Donald A. Smith: MultiLog: Data Or-Parallel Logic Programming. 314-331

Fixpoints

• 
  Katsumi Inoue, Chiaki Sakama: Transforming Abductive Logic Programs to Disjunctive Programs. 335-353
• 
  Giorgio Levi, Davide Ramundo: A Formalization of Metaprogramming for real. 354-373
• 
  Annalisa Bossi, Michele Bugliesi, Massimo Fabris: A New Fixpoint Semantics for Prolog. 374-389

Implementation

• 
  Saumya K. Debray: On Copy Avoidance in Single Assignment Languages. 393-407
• 
  André Mariën: Findall without findall/3. 408-423
• 
  Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: Extracting Determinacy in Logic Programs. 424-438

Program Synthesis

• 
  Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Logic Program Synthesis. 441-455
• 
  Kung-Kiu Lau, Mario Ornaghi: An Incompleteness Result for Deductive Synthesis of Logic Programs. 456-477
• 
  Stefan Lüttringhaus-Kappel: Control Generation for Logic Programs. 478-495

Constraint Solving

• 
  Jean-Louis Imbert: Variable Elimination for Generalized Linear Constraints. 499-516
• 
  Frédéric Benhamou, Jean-Luc Massat: Boolean Pseudo-equations in Constraint Logic Programming. 517-531
• 
  Evelyne Contejean: Solving Linear Diophantine Constraints Incrementally. 532-549
• 
  Bruno De Backer, Henri Beringer: A CLP Language Handling Disjunctions of Linear Constraints. 550-563

Semantics 1

• 
  Hudson Turner: A Monotonicity Theorem for Extended Logic Programs. 567-585
• 
  Laura Giordano, Alberto Martelli, Maria Luisa Sapino: A Semantics for Eshghi and Kowalski's Procedure. 586-600
• 
  Luís Moniz Pereira, José Júlio Alferes: Optative Reasoning with Scenario Semantics. 601-615
• 
  Phan Minh Dung: An Argumentation Semantics for Logic Programming with Explicit Negation. 616-630

Constraints

• 
  Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann: Memory Management of Constraint in Flang. 633-646
• 
  Mats Carlsson, Mats Grindal: Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. 647-665
• 
  David B. Kemp, Peter J. Stuckey: Analysis Based Constraint Query Optimization. 666-682
• 
  James Harland, Kotagiri Ramamohanarao: Constraint Propagation for Linear Recursive Rules. 683-699

Semantics 2

• 
  Chiaki Sakama, Katsumi Inoue: Negation in Disjunctive Logic Programs. 703-719
• 
  M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: Proving Termination of GHC Programs. 720-736
• 
  Michael J. Maher: A Logic Programming View of CLP. 737-753

Compilation

• 
  Evan Tick, C. Banerjee: Performance Evaluation of Monaco Compiler and Runtime Kernel. 757-773
• 
  Daniel Diaz, Philippe Codognet: A Minimal Extension of the WAM for clp(FD). 774-790

Databases

• 
  Roland N. Bol, Lars Degerstedt: The Underlying Search for Magic Templates and Tabulation. 793-811
• 
  Raymond T. Ng: Semantics and Consistency of Empirical Databases. 812-826

Poster Abstracts

• 
  Kalman Balogh: The SQL Interface of MProlog. 829-830
• 
  Raymond Bisdorff, Sophie Laurent: Industrial Disposing Problem Solved in CHIP. 831
• 
  Egon Börger, Dean Rosenzweig: Full Prolog in a Nutshell. 832
• 
  Takashi Chikayama, Tetsuro Fujise, Hiroshi Yashiro: A Portable and Reasonably Efficient Implementation of KL1. 833
• 
  Marc-Michel Corsini, Antoine Rauzy: Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. 834
• 
  Zsuzsa Farkas, Gábor Gerlei, Katalin Molnár, Gábor Umann: ZEXPERT - A Prolog-Based Shell for Knowledge Base Development. 835-836
• 
  Thom W. Frühwirth: User-Defined Constraint Handling. 837-838
• 
  Phil W. Grant, C. P. Jobling: A Prolog Toolkit for control System Models. 839-840
• 
  Oleg Yu. Gusikhin: Integration of Traditional Scheduling Techniques and AI on Prolog Basis. 841
• 
  S. Ivanets, N. Ilinsky, M. Krylov, S. Timohin: Optimum Flight Planning System for Aerodrome Zone. 842
• 
  Nikolai K. Kossovsky, Igor P. Solovjev: Function-Patterns and Fan-Backtracking for Logic Programming. 843
• 
  Anthony J. Kusalik, Gregory M. Oster: Towards Generalized Visualization Support for Logic Programming. 844
• 
  Didier Ladret, Michel Rueher: Contribution of Logic Programming to Support Telecommunications Protocol Tests. 845-846
• 
  Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron, Jacques Bellone, Claudine Pradelles, Zissis Palaskas, Takis Stamatopoulos, Dominic A. Clark, Sylvie Doursenot, Christopher J. Rawlings, Jack Shirazi, Giuseppe Sardu: APPLAUSE: Applications Using the ElipSys Parallel CLP System. 847-848
• 
  Leon J. Mekly, Marjorie Passini Yuhas: A Logic Programming Approach to Requirements Modelling and Automated Test Generation. 849
• 
  Michael Reviakin: Logic Programming System Prolog-plus. 850
• 
  Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: Status of the Aditi Deductive Database System. 851
• 
  Imrich Weigl, Milan Fico, Svitoslav Molnár, Rudolf Fiby: Istropolitan-a WAM Based Fuzzy Prolog. 852