Abstract is missing.
- Real-Time Memory Management for PrologYves Bekkers, Lucien Ungaro. 1-12
- A Process Semantics of Logic ProgramsMounira Belmesk. 13-26
- Logical Operational Semantics of Parlog. Part II: Or-ParallelismEgon Börger, Elvinia Riccobene. 27-34
- WAM Algebras - A Mathematical Study of Implementation, Part 2Egon Börger, Dean Rosenzweig. 35-54
- Abductive Systems for Non-Monotonic ReasoningA. G. Bondarenko. 55-65
- Properties of Algorithmic OperatorsVladimir B. Borshchev. 66-78
- Deep Logic Program Transformation Using Abstract InterpretationDmitri Yu. Boulanger. 79-101
- Objects in a Logic Programming FrameworkAntonio Brogi, Evelina Lamma, Paola Mello. 102-113
- Integrity Verification in Knowledge BasesFrançois Bry, Rainer Manthey, Bern Martens. 114-139
- On Procedural Semantics of Metalevel NegationStefania Costantini, Gaetano Aurelio Lanzarone. 140-151
- Probabilistic Logic Programs and their SemanticsEvgeny Dantsin. 152-164
- Implementation of Prolog as Binary Definite ProgramsBart Demoen, André Mariën. 165-176
- Prolog Semantics for Measuring Space ConsumptionAlexander Ja. Dikovsky. 177-192
- Or-Parallel Prolog with Heuristic Task DistributionWai-Keong Foong. 193-200
- A WAM Compilation SchemeHans-Günther Hein, Manfred Meyer. 201-214
- Safe Positive Induction in the Programming Logic TKMartin C. Henson. 215-231
- WAM Specification for Parallel Execution on SIMD ComputerS. Ivanets, N. Ilinsky, M. Krylov. 232-239
- On Abstracting the Procedural Behaviour of Logic ProgramsGerda Janssens, Maurice Bruynooghe. 240-262
- Treating Enhanced Entity Relationship Models in a Declarative StyleNorbert Kehrer, Gustaf Neumann. 263-270
- Processing of Ground Regular Terms in PROLOGEvgeny L. Kitaev. 271-285
- Compiling FlangAndrei Mantsivoda, Vyacheslav Petukhin. 286-293
- FIDO: Finite Domain Consistency Techniques in Logic ProgrammingManfred Meyer, Hans-Günther Hein, Jörg P. Müller. 294-301
- A Constructive Logic Approach to Database TheoryPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. 302-321
- Abstract Syntax and Logic ProgrammingDale Miller. 322-337
- Deduction with Generalized TermsVladimir S. Neiman. 338-348
- A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its ImplementationGustaf Neumann. 349-360
- Free Deduction: An Analysis of Computations in Classical LogicMichel Parigot. 361-380
- Gentzen-Type Calculi for Modal Logic S4 with Barcan FormulaAida Pliuskeviciene. 381-390
- Logical Foundation for Logic Programming Based on First Order Linear Temporal LogicRegimantas Pliuskevicius. 391-406
- Logic Programming with Pseudo-ResolutionDavid M. W. Powers. 407-414
- BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial IntelligenceT. J. Reynolds, Petros Kefalas. 415-432
- A Declarative Debugging Environment for DATALOGFrancesco Russo, Mirko Sancassani. 433-441
- A Sequent Calculus for a First Order Linear Temporal Logic with Explicit TimeJurate Sakalauskaite. 442-451
- A Logical-Based Language for Feature Specification and Transmission ControlP. Sébillot. 452-461
- Program Transformations and WAM-Support for the Compilation of Definite MetaprogramsPaul Tarau. 462-473
- Some Considerations on the Logic PfDWiebe van der Hoek. 474-485
- Logic Programming with Bounded QuantifiersAndrei Voronkov. 486-514