This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations of extensions, applications, and programming methodologies. The first workshop in this series was held in T}bingen in 1989 and its proceedings areavailable as LNCS 475. The third workshop will be held in Bologna in 1992.
Author(s): Martin Aronsson (auth.), L. -H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.)
Series: Lecture Notes in Computer Science 596
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1992
Language: English
Pages: 376
Tags: Artificial Intelligence (incl. Robotics); Programming Techniques
Methodology and programming techniques in GCLA II....Pages 1-44
Extended logic-plus-functional Programming....Pages 45-72
Open logic theories....Pages 73-88
A finitary version of the calculus of partial inductive definitions....Pages 89-134
A logic programming approach to implementing higher-Order term rewriting....Pages 135-161
An overview of the Andorra Kernel Language....Pages 163-179
Logical and computational invariants of programs....Pages 181-191
Implementing λ-calculus reduction strategies in extended logic programming languages....Pages 193-219
Terminological reasoning and partial inductive definitions....Pages 221-237
GCLA II A definitional approach to control....Pages 239-297
Natural semantics and some of its meta-theory in Elf....Pages 299-344
The near-Horn approach to disjunctive logic programming....Pages 345-369
