Abstract is missing.
- Failure and Success made SymmetricGiorgio Levi, Maurizio Martelli, Catuscia Palamidessi. 3-22
- Algebraic Properties of a Class of Logic ProgramsPaolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti. 23-39
- Finding Advantageous Orders for Argument Unification for the Prolog WAMZerksis D. Umrigar. 80-96
- From Decision Trees to Decision GraphsShmuel Kliger, Ehud Y. Shapiro. 97-116
- Partial Evaluation of a CLP LanguageDonald A. Smith, Timothy J. Hickey. 119-138
- A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface DesignHayato Ohwada, Fumio Mizoguchi. 139-153
- Constraint Logic Programming Applied to Hypothetical Reasoning in ChemistryJean Jourdan, Raúl E. Valdés-Pérez. 154-172
- Concurrent Logic Programming: Asynchronism and Language ComparisonFrank S. de Boer, Catuscia Palamidessi. 175-194
- Comparative Semantics for a Parallel Contextual Logic Programming LanguageJean-Marie Jacquet, Luís Monteiro. 195-214
- Abstract Interpretation for Concurrent Logic LanguagesChristian Codognet, Philippe Codognet, Marc-Michel Corsini. 215-232
- Null Values in Definite ProgramsYuan Liu. 273-288
- Generation Type Garbage Collection for Parallel Logic LanguagesToshihiro Ozawa, Akira Hosoi, Akira Hattori. 291-305
- A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory MultiprocessorsPatrick Weemeeuw, Bart Demoen. 306-320
- FCP Sequential Abstract Machine Characteristics for the Systems Development WorkloadLeon Alkalaj, Tomás Lang, Ehud Y. Shapiro. 321-339
- A Partial Evaluation Procedure for Logic ProgramsKerima Benkerimi, John W. Lloyd. 343-358
- Partial Evaluation for Hierarchies of Logic TheoriesMichele Bugliesi, Evelina Lamma, Paola Mello. 359-376
- The Mixtus Approach to Automatic Partial Evaluation of Full PrologDan Sahlin. 377-398
- Computational Complexity and Constraint Logic Programming LanguagesJim Cox, Ken McAloon, Carol Tretkoff. 401-415
- Meta Programming as Constraint ProgrammingPierre Lim, Peter J. Stuckey. 416-430
- Janus: A step towards distributed constraint programmingVijay A. Saraswat, Kenneth M. Kahn, Jacob Levy. 431-446
- Operational and Denotational Semantics of Rewrite ProgramsMaria Paola Bonacina, Jieh Hsiang. 449-464
- Towards More Efficient Loop ChecksRoland N. Bol. 465-479
- Negative Logic ProgramsSergio Greco, Domenico Saccà. 480-497
- The Benefits of Global Dataflow Analysis for an Optimizing Prolog CompilerPeter Van Roy, Alvin M. Despain. 501-515
- An Algebraic Framework for Abstract Interpretation of Definite ProgramsR. S. Kemp, Graem A. Ringwood. 516-530
- Analysis of Constraint Logic ProgramsKim Marriott, Harald Søndergaard. 531-547
- On the Elimination of Redundant Derivations During ExecutionRichard Helm. 551-568
- Avoiding Duplicate ProofsBruce Spencer. 569-584
- The Logical Structure of Sequential PrologJames H. Andrews. 585-602
- Optimizing And-Or Parallel ImplementationsGopal Gupta, Bharat Jayaraman. 605-623
- Joining AND Parallel Solutions in AND/OR Parallel SystemsLaxmikant V. Kalé, Balkrishna Ramkumar. 624-641
- Scheduling and Variable Assignment in the Parallel PARLOG ImplementationJim A. Crammond. 642-657
- A Characterization of Non-Floundering Logic ProgramsKim Marriott, Harald Søndergaard, Philip W. Dart. 661-680
- Adding Negation-as-Failure to Intuitionistic Logic ProgrammingAnthony J. Bonner, L. Thorne McCarty. 681-703
- On Constructive Negation for Disjunctive Logic ProgramsJorge Lobo. 704-718
- On Criteria for Or-Parallel Execution Models of Logic ProgramsGopal Gupta, Bharat Jayaraman. 737-756
- The Muse Or-Parallel Prolog Model and its PerformanceKhayri A. M. Ali, Roland Karlsson. 757-776
- Hyperproof: An Excursion in Situated LogicJon Barwise. 779-787
- An Algebraic Semantics of Logic Programs as Structured Transition SystemsAndrea Corradini, Ugo Montanari. 788-812
- Prolog and Natural-Language Analysis: Into the Third DecadeFernando C. N. Pereira. 813-832
- Parallel Implementations of PrologAndrzej Ciepielewski. 835
- Types for Logic ProgramsUday S. Reddy. 836-840
- Deductive Database Systems: Applications and ProgrammingCarlo Zaniolo. 842-845