2. ICLP 1984: Uppsala, Sweden

Sten-Åke Tärnlund (Ed.): Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984. Uppsala University

Application of Logic Programming

Shigeyuki Takagi, Toshio Yokoi, Shunichi Uchida, Toshiaki Kurokawa, Takashi Hattori, Takashi Chikayama, Kô Sakai, Junichiro Tsuji: Overall design of SIMPOS. 1-12
Martin Nilsson: Prolog as a Tool for Optimizing Prolog Unifiers. 13-21
Jean François Pique: Drawing Trees and their Equations in Prolog. 23-33

Foundations of Logic Programming

Maarten H. van Emden, John W. Lloyd: A Logical Reconstruction of Prolog II. 35-40
Miklós Szöts: A Comparison of two Logic Programming Languages: A Case Study. 41-51
Olga Stepánková, Petr Stepánek: Computation Trees and Transformations of Logic Programs. 53-63

Application of Logic Programming

Michael C. McCord: Semantic Interpretation for the Epistle System. 65-76
Verónica Dahl: On Gapping Grammars. 77-88

Logic Programming Languages

Hideki Hirakawa, Takashi Chikayama, Koichi Furukawa: Eager and Lazy Enumerations in Concurrent Prolog. 89-100
Lars-Henrik Erikson, Manny Rayner: Incorporating Mutable Arrays into Logic Programming. 101-114
Joseph A. Goguen, José Meseguer: Equality, Types, Modules and Generics for Logic Programming. 115-125

Logic Programming Methodology

Hisao Tamaki, Taisuke Sato: Unfold/Fold Transformation of Logic Programs. 127-138
Michel Sintzoff: Bounded-Horizon Success-Complete Restriction of Inference Programs. 139-150
David A. Plaisted: An Efficient Bug Location Algorithm. 151-157

Architecture and Hardware for Logic Programming

Gary Lindstrom: Or-Parallelism on Applicative Architectures. 159-170
Laxmikant V. Kalé, David Scott Warren: A Class of Architectures for a Prolog Machine. 171-182
Jim A. Crammond, C. D. F. Miller: An Architecture for Parallel Logic Languages. 183-194
Péter Kacsuk: A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow Model. 195-205

Application of Logic Programming

Gilles Berger-Sabbatel, W. Dang, J. C. Ianeselli, Gia Toan Nguyen: Unification for a Prolog Data Base Machine. 207-217
Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti: A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. 219-229
Leon Sterling: Logical Levels of Problem Solving. 231-242

Logic Programming Methodology

Anna-Lena Johansson: Using Symmetry for the Derivation of Logic Programs. 243-251
Huaimin Sun, Liguo Wang: A Model Theory of Logic Programming Methodology. 253-262

Foundations of Logic Programming

David A. Wolfram, Michael J. Maher, Jean-Louis Lassez: A Unified Treatment of Resolution Strategies for Logic Programs. 263-276

Application of Logic Programming

Alan Littleford: A Mycin-Like Expert System in Prolog. 289-300
Krysia Broda, Steve Gregory: Parlog for Discrete Event Simulation. 301-312

Logic Programming Languages

Nachum Dershowitz, N. Alan Josephson: Logic Programming by Completion. 313-320
Katsuhiko Nakamura: Associative Concurrent Evaluation of Logic Programs. 321-331
Jacob Levy: A Unification Algorithm for Concurrent Prolog. 333-341

Architecture and Hardware for Logic Programming

Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro: A Memory Management Machine for Prolog Interpreter. 343-353

Last update Tue May 21 17:00:38 2013 CET by the DBLP Team —

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