Table of contents

  1. Front Matter
  2. Antonio Brogi, Evelina Lamma, Paola Mello
    Pages 73-88
  3. Torkel Franzén, Seif Haridi, Sverker Janson
    Pages 163-179
  4. Per Kreuger
    Pages 239-297
  5. Spiro Michaylov, Frank Pfenning
    Pages 299-344
  6. David W. Reed, Donald W. Loveland, Bruce T. Smith
    Pages 345-369
  7. Back Matter

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

Bibliographic information

  • Book Title Extensions of Logic Programming
  • Book Subtitle Second International Workshop, ELP '91 Stockholm, Sweden, January 27–29, 1991 Proceedings
  • Editors Lars-Henrik Eriksson
    Lars Hallnäs
    Peter Schroeder-Heister
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-55498-1
  • eBook ISBN 978-3-540-47114-1
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages VIII, 376
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Software Engineering/Programming and Operating Systems
    Artificial Intelligence
    Programming Techniques
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment