2. ICLP 1984: Uppsala, Sweden

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

Yoav Shoam: FAME: A Prolog Program that solves Problems in Combinatorics. 277-288
• 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