10. ICLP 1993: Budapest, Hungary

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
R. Bisdorff, S. 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
P. 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