Advertisement

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

Introduction

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.

Keywords

Extension Horn Clauses Horn Klauseln Knowledge Representation Logic Programming Prolog Reasoning Wissens-Darstellung logic programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0013601
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55498-1
  • Online ISBN 978-3-540-47114-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site