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
Luís Moniz Pereira: Logic Control with Logic. 9-18
Kenneth M. Kahn: A Partial Evaluator of Lisp Programs Written in Prolog. 19-25
Kenneth A. Bowen: Concurrent Execution of Logic. 26-30
António Porto: Epilog: A Language for Extended Programming in Logic. 31-37

Implementation

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

Applications I

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

Program Development

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

Theoretical Issues

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

Applications II

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

Last update Fri May 25 08:19:40 2012 CET by the DBLP Team —

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