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
export record as
dblp key:
Luís Monteiro :
A Horn Clause-like Logic for Specifying Concurrency.
1-8
export record as
dblp key:
export record as
dblp key:
Kenneth M. Kahn :
A Partial Evaluator of Lisp Programs Written in Prolog.
19-25
export record as
dblp key:
export record as
dblp key:
António Porto :
Epilog: A Language for Extended Programming in Logic.
31-37
Implementation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Applications I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/iclp/ChakravarthyMT82 export record as
dblp key:
Richard Ennals :
Teaching Logic as a Computer Language in Schools.
99-104
export record as
dblp key:
export record as
dblp key:
Program Development
export record as
dblp key:
Douglas R. Skuce :
Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation.
116-122
export record as
dblp key:
export record as
dblp key:
Maurice Bruynooghe :
Adding Redundancy to Obtain more Reliable and Readable Prolog Programs.
129-133
export record as
dblp key:
Toshiaki Kurokawa :
Logic Programming - What Does it Bring to the Software Engineering.
134-138
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ehud Y. Shapiro :
Alternation and the Computational Complexity of Logic Programs.
154-163
Theoretical Issues
export record as
dblp key:
Howard A. Blair :
The Undecidability of Two Completeness Notions for the "Negation as Failure".
164-168
export record as
dblp key:
Taisuke Sato :
Negation and Semantics of Prolog Programs.
169-174
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Paul H. Morris :
Relational Production Systems and Logic Programs.
187-192
export record as
dblp key:
Applications II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kave Eshghi :
Application of Meta-language Programming to Fault Finding in Logic Circuits.
240-246
data released under the ODC-BY 1.0 license
