1. ICLP 1982: Marseille, France

Michel Van Caneghem (Ed.): Proceedings of the First International Logic Programming Conference, September, 14-17th, 1982. Faculté des Science de Luminy, ADDP-GIA, Marseille, France, 1982

Control and Meta-Level

Luís Monteiro: A Horn Clause-like Logic for Specifying Concurrency. 1-8 BibTeX
Luís Moniz Pereira: Logic Control with Logic. 9-18 BibTeX
Kenneth M. Kahn: A Partial Evaluator of Lisp Programs Written in Prolog. 19-25 BibTeX
Kenneth A. Bowen: Concurrent Execution of Logic. 26-30 BibTeX
António Porto: Epilog: A Language for Extended Programming in Logic. 31-37 BibTeX

Implementation

Koichi Furukawa, Katsumi Nitta, Yuji Matsumoto: Prolog Interpreter Based on Concurrent Programming. 38-44 BibTeX
Christian Percebois, Jean-Paul Sansonnet: A Lisp-machine to Implement Prolog. 45-51 BibTeX
Maurice Bruynooghe: A Note on Garbage-Collection in Prolog Interpreters. 52-55 BibTeX
Maarten H. van Emden: An Algorithm for Interpreting Prolog Programs. 56-64 BibTeX
Hideyuki Nakashima: Prolog/KR - Language Features. 65-70 BibTeX
Norbert Eisinger, Simon Kasif, Jack Minker: Logic Programming: A Parallel Approach. 71-77 BibTeX

Applications I

Alain Grumbach: Knowledge Acquisition in Prolog. 78-84 BibTeX
Lynette Hirschman, Karl Puder: Restriction Grammar in Prolog. 85-90 BibTeX
Upen S. Chakravarthy, Jack Minker, Duc Tran: Interfacing Predicate Logic Languages and Relational Databases. 91-98 BibTeX
Richard Ennals: Teaching Logic as a Computer Language in Schools. 99-104 BibTeX
Jan Sebelík, Petr Stepánek: Graphs as Data in Prolog Programs. 105-109 BibTeX
John W. Roach, Theodore D. Fuller: A Prolog Simulation of Migration Decision Making in a Less Developed Country. 110-115 BibTeX

Program Development

Douglas R. Skuce: Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation. 116-122 BibTeX
Zsuzsa Farkas, Péter Szeredi, E. Sántáné-Tóth: LDM: A Program Specification Support System. 123-128 BibTeX
Maurice Bruynooghe: Adding Redundancy to Obtain more Reliable and Readable Prolog Programs. 129-133 BibTeX
Toshiaki Kurokawa: Logic Programming - What Does it Bring to the Software Engineering. 134-138 BibTeX
Zsuzsanna Markusz, A. A. Kaposi: A Design Methodology in Prolog Programming. 139-145 BibTeX
Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund: Towards a Derivation Editor. 146-151 BibTeX
Ehud Y. Shapiro: Alternation and the Computational Complexity of Logic Programs. 154-163 BibTeX

Theoretical Issues

Howard A. Blair: The Undecidability of Two Completeness Notions for the "Negation as Failure". 164-168 BibTeX
Taisuke Sato: Negation and Semantics of Prolog Programs. 169-174 BibTeX
Roberto Barbuti, Pierpaolo Degano, Giorgio Levi: Toward an Inductionless Technique for Proving Properties of Logic Programs. 175-181 BibTeX
Harvey Abramson: Unification-based Conditional Binding Constructs. 182-186 BibTeX
Paul H. Morris: Relational Production Systems and Logic Programs. 187-192 BibTeX
Jan Maluszynski, Jørgen Fischer Nilsson: A Comparison of the Logic Programming Language Prolog with Two-levels Grammars. 193-199 BibTeX

Applications II

Luís Moniz Pereira, Paul Sabatier, Eugenio Oliveira: ORBI - An Expert System for Environmental Resource Evaluation through Natural Language. 200-209 BibTeX
Michel Joubert, Marius Fieschi, D. Fieschi, M. Roux: Medical Decision Aid: Logic Bases of the System SPHINX. 210-214 BibTeX
Jean François Pique: On a Semantic Representation of Natural Language Sentences. 215-223 BibTeX
Luís Moniz Pereira, António Porto: A Prolog Implementation of a Large System on a Small Machine. 225-229 BibTeX
Robert Pasero: A Dialogue in Natural Language. 231-239 BibTeX
Kave Eshghi: Application of Meta-language Programming to Fault Finding in Logic Circuits. 240-246 BibTeX