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 BibTeX
Martin Nilsson: Prolog as a Tool for Optimizing Prolog Unifiers. 13-21 BibTeX
Jean François Pique: Drawing Trees and their Equations in Prolog. 23-33 BibTeX

Foundations of Logic Programming

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

Application of Logic Programming

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

Logic Programming Languages

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

Logic Programming Methodology

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

Architecture and Hardware for Logic Programming

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

Application of Logic Programming

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

Logic Programming Methodology

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

Foundations of Logic Programming

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

Application of Logic Programming

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

Logic Programming Languages

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

Architecture and Hardware for Logic Programming

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

Copyright © Sat May 16 23:20:23 2009 by Michael Ley (ley@uni-trier.de)