Abstract is missing.
- On the Efficiency of Optimising Shallow Backtracking in Compiled PrologMats Carlsson. 3-16
- A Simple Code Improvement Scheme for PrologSaumya K. Debray. 17-32
- The Impact of Abstract Interpretation: An Experiment in Code GenerationAndré Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe. 33-47
- Non-deterministic Stream AND-Parallelism Based on Intelligent BacktrackingChristian Codognet, Philippe Codognet. 63-79
- Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-ParallelismKalyan Muthukumar, Manuel V. Hermenegildo. 80-97
- Test Generation using the Constraint Logic Programming Language CHIPHelmut Simonis. 101-112
- Solving Simple Substitution Ciphers in Andorra-IRong Yang. 113-128
- A Relevant Scheme for Prolog Extensions: CLP(Conceptual Theory)Henri Behringer, Franck Porcher. 131-148
- Constraint Hierarchies and Logic ProgrammingAlan Borning, Michael J. Maher, Amy Martindale, Molly Wilson. 149-164
- Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSysPascal Van Hentenryck. 165-180
- CLP(Sigma*): Constraint Logic Programming with Regular SetsClifford Walinsky. 181-196
- Narrowing GrammarsH. Lewis Chau, Douglas Stott Parker Jr.. 199-217
- A Metalogic Programming LanguageStefania Costantini, Gaetano Aurelio Lanzarone. 218-233
- Abduction Compared with Negation by FailureKave Eshghi, Robert A. Kowalski. 234-254
- Extending the Semantics of Logic Programs to Disjunctive Logic ProgramsJorge Lobo, Jack Minker, Arcot Rajasekar. 255-267
- Lexical Scoping as Universal QuantificationDale Miller. 268-283
- Contextual Logic ProgrammingLuís Monteiro, António Porto. 284-299
- The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic ProgrammingEvelina Lamma, Paola Mello, Antonio Natali. 303-317
- An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional NarrowingPier Giorgio Bosco, C. Cecchi, Corrado Moiso. 318-333
- Projections Instead of Variables: A Category Theoretic Interpretation of Logic ProgramsAndrea Asperti, Simone Martini. 337-352
- On the Safe Termination of PROLOG ProgramsKrzysztof R. Apt, Roland N. Bol, Jan Willem Klop. 353-368
- Average Time Analyses Related to Logic ProgrammingNachum Dershowitz, Naomi Lindenstrauss. 369-381
- Polymorphic High-Order Programming in PrologMichael Hanus. 382-397
- Contributions to the View Update ProblemFrancesca Rossi, Shamim A. Naqvi. 398-415
- Scheduling Or-parallelism in Aurora: The Manchester SchedulerAlan Calderwood, Péter Szeredi. 419-435
- Distributed Implementation of KL1 on the Multi-PSI/V2Katsuto Nakajima, Yu Inamura, Kazuaki Rokusawa, Nobuyuki Ichiyoshi, Takashi Chikayama. 436-451
- A Performance Comparison of AND- and OR-Parallel Logic Programming ArchitecturesEvan Tick. 452-467
- Pandora: Non-deterministic Parallel Logic ProgrammingReem Bahgat, Steve Gregory. 471-486
- Programming in Delta PrologJosé C. Cunha, Maria C. Ferreira, Luís Moniz Pereira. 487-502
- Towards Distributed Tools for Heterogeneous Logic Programming EnvironmentsJosé A. S. Alegria, Artur M. Dias, Luís Caires. 505-520
- The NU-Prolog Debugging EnvironmentLee Naish, Philip W. Dart, Justin Zobel. 521-536
- Decidability Results and Characterization of Strategies for the Development of Logic ProgramsAlberto Pettorossi, Maurizio Proietti. 539-553
- Unfold/Fold Transformation of Stratified ProgramsHirohisa Seki. 554-568
- Continuity, Consistency, and Completeness Properties for Logic ProgramsLawrence Cavedon. 571-584
- A Deduction Procedure for First Order ProgramsDenis Lugiez. 585-599
- The Relationship Between Logic Program Semantics and Non-Monotonic ReasoningV. Wiktor Marek, V. S. Subrahmanian. 600-617
- Semantic Models for a Version of PARLOGFrank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten. 621-636
- Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic LanguageAntonio Brogi, Roberto Gorrieri. 637-652
- Non-Monotonic Formalisms and Logic ProgrammingTeodor C. Przymusinski. 655-674
- A Logical Database Query Language with Object Identity and Strong TypingParis C. Kanellakis, Serge Abiteboul. 675-692