Abstract is missing.
- Overall design of SIMPOSShigeyuki Takagi, Toshio Yokoi, Shunichi Uchida, Toshiaki Kurokawa, Takashi Hattori, Takashi Chikayama, Kô Sakai, Junichiro Tsuji. 1-12
- Prolog as a Tool for Optimizing Prolog UnifiersMartin Nilsson. 13-21
- Drawing Trees and their Equations in PrologJean François Pique. 23-33
- A Logical Reconstruction of Prolog IIMaarten H. van Emden, John W. Lloyd. 35-40
- A Comparison of two Logic Programming Languages: A Case StudyMiklós Szöts. 41-51
- Computation Trees and Transformations of Logic ProgramsOlga Stepánková, Petr Stepánek. 53-63
- Semantic Interpretation for the Epistle SystemMichael C. McCord. 65-76
- On Gapping GrammarsVerónica Dahl. 77-88
- Eager and Lazy Enumerations in Concurrent PrologHideki Hirakawa, Takashi Chikayama, Koichi Furukawa. 89-100
- Incorporating Mutable Arrays into Logic ProgrammingLars-Henrik Erikson, Manny Rayner. 101-114
- Equality, Types, Modules and Generics for Logic ProgrammingJoseph A. Goguen, José Meseguer. 115-125
- Unfold/Fold Transformation of Logic ProgramsHisao Tamaki, Taisuke Sato. 127-138
- Bounded-Horizon Success-Complete Restriction of Inference ProgramsMichel Sintzoff. 139-150
- An Efficient Bug Location AlgorithmDavid A. Plaisted. 151-157
- Or-Parallelism on Applicative ArchitecturesGary Lindstrom. 159-170
- A Class of Architectures for a Prolog MachineLaxmikant V. Kalé, David Scott Warren. 171-182
- An Architecture for Parallel Logic LanguagesJim A. Crammond, C. D. F. Miller. 183-194
- A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow ModelPéter Kacsuk. 195-205
- Unification for a Prolog Data Base MachineGilles Berger-Sabbatel, W. Dang, J. C. Ianeselli, Gia Toan Nguyen. 207-217
- A Prolog System for the Verification of Concurrent Processes Against Temporal Logic SpecificationsPier Giorgio Bosco, G. Giandonato, Elio Giovannetti. 219-229
- Logical Levels of Problem SolvingLeon Sterling. 231-242
- Using Symmetry for the Derivation of Logic ProgramsAnna-Lena Johansson. 243-251
- A Model Theory of Logic Programming MethodologyHuaimin Sun, Liguo Wang. 253-262
- A Unified Treatment of Resolution Strategies for Logic ProgramsDavid A. Wolfram, Michael J. Maher, Jean-Louis Lassez. 263-276
- Parlog for Discrete Event SimulationKrysia Broda, Steve Gregory. 301-312
- Logic Programming by CompletionNachum Dershowitz, N. Alan Josephson. 313-320
- Associative Concurrent Evaluation of Logic ProgramsKatsuhiko Nakamura. 321-331
- A Unification Algorithm for Concurrent PrologJacob Levy. 333-341
- A Memory Management Machine for Prolog InterpreterYves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro. 343-353