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
Saumya K. Debray: A Simple Code Improvement Scheme for Prolog. 17-32 , 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
Andrew Taylor: Removal of Dereferencing and Trailing in Prolog Compilation. 48-60

AND-Parallel Execution Models

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

Applications

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

Constraints

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

Extensions and Variations of Logic Programming

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

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
Pier Giorgio Bosco, C. Cecchi, Corrado Moiso: An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. 318-333

Miscellaneous Theory

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

Parallel Implementations

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

Parallel Languages

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

Programming Environments

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

Program Transformations

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

Semantic Issues

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

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 , 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

Invited Talks

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

Last update Tue Feb 14 04:01:41 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page