About these proceedings
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.
Extension Horn Clauses Horn Klauseln Knowledge Representation Logic Programming Prolog Reasoning Wissens-Darstellung logic programming programming language