6. ICLP 1989: Lisbon, Portugal

Giorgio Levi, Maurizio Martelli (Eds.): Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989. MIT Press 1989, ISBN 0-262-62065-0

Abstract Interpretation and Implementation Issues

Mats Carlsson: On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. 3-16 BibTeX
Saumya K. Debray: A Simple Code Improvement Scheme for Prolog. 17-32 BibTeX , long version: JLP 13: 57-88 (1992)
André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe: The Impact of Abstract Interpretation: An Experiment in Code Generation. 33-47 BibTeX
Andrew Taylor: Removal of Dereferencing and Trailing in Prolog Compilation. 48-60 BibTeX

AND-Parallel Execution Models

Christian Codognet, Philippe Codognet: Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. 63-79 BibTeX
Kalyan Muthukumar, Manuel V. Hermenegildo: Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism. 80-97 BibTeX

Applications

Helmut Simonis: Test Generation using the Constraint Logic Programming Language CHIP. 101-112 BibTeX
Rong Yang: Solving Simple Substitution Ciphers in Andorra-I. 113-128 BibTeX

Constraints

Henri Behringer, Franck Porcher: A Relevant Scheme for Prolog Extensions: CLP(Conceptual Theory). 131-148 BibTeX
Alan Borning, Michael J. Maher, Amy Martindale, Molly Wilson: Constraint Hierarchies and Logic Programming. 149-164 BibTeX
Pascal Van Hentenryck: Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. 165-180 BibTeX
Clifford Walinsky: CLP(Sigma*): Constraint Logic Programming with Regular Sets. 181-196 BibTeX

Extensions and Variations of Logic Programming

H. Lewis Chau, Douglas Stott Parker Jr.: Narrowing Grammars. 199-217 BibTeX
Stefania Costantini, Gaetano Aurelio Lanzarone: A Metalogic Programming Language. 218-233 BibTeX
Kave Eshghi, Robert A. Kowalski: Abduction Compared with Negation by Failure. 234-254 BibTeX
Jorge Lobo, Jack Minker, Arcot Rajasekar: Extending the Semantics of Logic Programs to Disjunctive Logic Programs. 255-267 BibTeX
Dale Miller: Lexical Scoping as Universal Quantification. 268-283 BibTeX
Luís Monteiro, António Porto: Contextual Logic Programming. 284-299 BibTeX

Extensions of Warren Abstract Machine

Evelina Lamma, Paola Mello, Antonio Natali: The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. 303-317 BibTeX
Pier Giorgio Bosco, C. Cecchi, Corrado Moiso: An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. 318-333 BibTeX

Miscellaneous Theory

Andrea Asperti, Simone Martini: Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs. 337-352 BibTeX
Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop: On the Safe Termination of PROLOG Programs. 353-368 BibTeX
Nachum Dershowitz, Naomi Lindenstrauss: Average Time Analyses Related to Logic Programming. 369-381 BibTeX
Michael Hanus: Polymorphic High-Order Programming in Prolog. 382-397 BibTeX
Francesca Rossi, Shamim A. Naqvi: Contributions to the View Update Problem. 398-415 BibTeX

Parallel Implementations

Alan Calderwood, Péter Szeredi: Scheduling Or-parallelism in Aurora: The Manchester Scheduler. 419-435 BibTeX
Katsuto Nakajima, Yu Inamura, Kazuaki Rokusawa, Nobuyuki Ichiyoshi, Takashi Chikayama: Distributed Implementation of KL1 on the Multi-PSI/V2. 436-451 BibTeX
Evan Tick: A Performance Comparison of AND- and OR-Parallel Logic Programming Architectures. 452-467 BibTeX

Parallel Languages

Reem Bahgat, Steve Gregory: Pandora: Non-deterministic Parallel Logic Programming. 471-486 BibTeX
José C. Cunha, Maria C. Ferreira, Luís Moniz Pereira: Programming in Delta Prolog. 487-502 BibTeX

Programming Environments

José A. S. Alegria, Artur M. Dias, Luís Caires: Towards Distributed Tools for Heterogeneous Logic Programming Environments. 505-520 BibTeX
Lee Naish, Philip W. Dart, Justin Zobel: The NU-Prolog Debugging Environment. 521-536 BibTeX

Program Transformations

Alberto Pettorossi, Maurizio Proietti: Decidability Results and Characterization of Strategies for the Development of Logic Programs. 539-553 BibTeX
Hirohisa Seki: Unfold/Fold Transformation of Stratified Programs. 554-568 BibTeX , long version: TCS 86(1): 107-139 (1991)

Semantic Issues

Lawrence Cavedon: Continuity, Consistency, and Completeness Properties for Logic Programs. 571-584 BibTeX
Denis Lugiez: A Deduction Procedure for First Order Programs. 585-599 BibTeX
V. Wiktor Marek, V. S. Subrahmanian: The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. 600-617 BibTeX

Semantics of Concurrency

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: Semantic Models for a Version of PARLOG. 621-636 BibTeX , long version: TCS 86(1): 3-33 (1991)
Antonio Brogi, Roberto Gorrieri: Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. 637-652 BibTeX

Invited Talks

Teodor C. Przymusinski: Non-Monotonic Formalisms and Logic Programming. 655-674 BibTeX
Paris C. Kanellakis, Serge Abiteboul: A Logical Database Query Language with Object Identity and Strong Typing. 675-692 BibTeX