Abstract is missing.
- A New Implementation Technique for Flat GHCKazunori Ueda, Masao Morita. 3-17
- A Detection Algorithm of Perpetual Suspension in KL1Yu Inamura, Satoshi Onishi. 18-30
- Kernel Andorra Prolog and its Computation ModelSeif Haridi, Sverker Janson. 31-46
- Sequential Architecture Models for Prolog: A Performance ComparisonMark Korsloot, Hans M. Mulder. 49-67
- An Extended RISC Methodology and its Application to FCPArie Harsat, Ran Ginosar. 67-82
- Evaluation of MRB Garbage Collection on Parallel Logic Programming ArchitecturesKenji Nishida, Yasunori Kimura, Akira Matsumoto, Atsuhiro Goto. 83-95
- Incremental Re-evaluation of LDL QueriesOded Shmueli, Shalom Tsur. 99-111
- Logical Diagnosis of LDL ProgramsOded Shmueli, Shalom Tsur. 112-129
- Top-Down Integrity Constraint Checking for Deductive DatabasesUlrike Griefahn, Stefan Lüttringhaus. 130-144
- An Algorithm for Optimal Back-Striding in PrologVishv M. Malhotra. 147-158
- A Matching Tree Oriented Abstract Machine for PrologNeng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima. 159-173
- Incremental Constraint Satisfaction in Logic ProgrammingPascal Van Hentenryck. 189-202
- A Logic-Based Modification of Attribute Grammars for Practical Compiler WritingJukka Paakki. 203-217
- The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelismKalyan Muthukumar, Manuel V. Hermenegildo. 221-236
- Non-Strict Independent And-ParallelismManuel V. Hermenegildo, Francesca Rossi. 237-252
- &-Prolog and its Performance: Exploiting Independent And-ParallelismManuel V. Hermenegildo, K. J. Greene. 253-268
- Architected Failure Handling for AND-Parallel Logic ProgramsDavid M. Meyer, John S. Conery. 271-290
- Pipeline Optimizations in AND-Parallel Logic ProgramsRoberto Giacobazzi, Laura Ricci. 291-305
- AND-Parallelism without Shared VariablesAntonio Brogi. 306-321
- Logic and Functional Programmin on Distributed Memory ArchitecturesPier Giorgio Bosco, C. Cecchi, Corrado Moiso, M. Porta, G. Sofi. 325-339
- OR-Parallel Prolog and Search Problems in AI ApplicationsT. J. Reynolds, Petros Kefalas. 340-354
- Efficient Parallel Term Matching and Anti-UnificationArthur L. Delcher, Simon Kasif. 355-369
- Extending Definite Clause Grammars with Scoping ConstructsRemo Pareschi, Dale Miller. 373-389
- A Notion of Map between Logic ProgramsA. John Power, Leon Sterling. 390-404
- A Logic Programming Approach to Specifying Logics and Constructing ProofsHajime Sawamura, Toshiro Minami, Kaoru Yocota, Kyoko Ohashi. 405-424
- Generalized Stable Models, Truth Maintenance and Conflict ResolutionLaura Giordano, Alberto Martelli. 427-441
- Extended Stable Semantics for Normal and Disjunctive ProgramsTeodor C. Przymusinski. 459-477
- A Transformational View of Inheritance in Logic ProgrammingLuís Monteiro, António Porto. 481-494
- Linear Objects in a Logic Processes with Built-in InheritanceJean-Marc Andreoli, Remo Pareschi. 495-510
- Representing Objects in a Logic Programming Langueage with Scoping ConstructsJoshua S. Hodas, Dale Miller. 511-526
- HIFUNLOG : Logic Programming with Higher-order Relational FunctionsYeh-Heng Sheng. 529-545
- On Warren s Method for Functional Programming in LogicMantis H. M. Cheng, Maarten H. van Emden, B. E. Richards. 546-560
- Intensional Updates: Abduction via DeductionFrançois Bry. 561-575
- Logic Programs with Classical NegationMichael Gelfond, Vladimir Lifschitz. 579-597
- Logic Programs with ExceptionsRobert A. Kowalski, Fariba Sadri. 598-613
- Acyclic ProgramsKrzysztof R. Apt, Marc Bezem. 617-633
- Termination Proofs for Logic Programs Based on Predicate InequalitiesLutz Plümer. 634-648
- A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted GraphsDanny De Schreye, Kristof Verschaetse, Maurice Bruynooghe. 649-663
- Top-down Synthesis of Recursive Logic Procedures from First-order Logic SpecificationsKung-Kiu Lau, Steven David Prestwich. 667-684
- Generation and Compilation of Efficient Computation RulesKristof Verschaetse, Danny De Schreye, Maurice Bruynooghe. 700-714
- Multiple Specialization of Logic Programs with Run-Time TestDean Jacobs, Anno Langen, William H. Winsborough. 717-731
- The Derivation of an Algorithm for Program SpecialisationJohn P. Gallagher, Maurice Bruynooghe. 732-746
- Analysis of Shared Data Structures for Compile-Time GarbageAnne Mulkers, William H. Winsborough, Maurice Bruynooghe. 747-762
- What Should a Database Know?Raymond Reiter. 765
- Prolog III as it Actually IsAlain Colmerauer. 766
- How Hard Is It to Reason about Propositional Programs?David Harel. 772-773
- The Paradigm of Concurrent Constraint ProgrammingVijay A. Saraswat. 777-778
- Semantics of Logic ProgramsHaim Gaifman. 779-782
- Logic Programming and DatabasesCatriel Beeri. 783
- Higher-Order Logic ProgrammingDale Miller. 784
- Parallel Logic Programming SystemsJacques Chassin de Kergommeaux. 785
- Types in Logic ProgrammingFrank Pfenning. 786