Extensions of Logic Programming Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

Extensions of Logic Programming Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings / edited by Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister.

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 language...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Eriksson, Lars-Henrik (Editor), Hallnäs, Lars (Editor), Schroeder-Heister, Peter (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992.
Edition:1st ed. 1992.
Series:Lecture Notes in Artificial Intelligence ; 596
Springer eBook Collection.
Subjects:
Software engineering.
Artificial intelligence.
Computer programming.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Methodology and programming techniques in GCLA II
  • Extended logic-plus-functional Programming
  • Open logic theories
  • A finitary version of the calculus of partial inductive definitions
  • A logic programming approach to implementing higher-Order term rewriting
  • An overview of the Andorra Kernel Language
  • Logical and computational invariants of programs
  • Implementing ?-calculus reduction strategies in extended logic programming languages
  • Terminological reasoning and partial inductive definitions
  • GCLA II A definitional approach to control
  • Natural semantics and some of its meta-theory in Elf
  • The near-Horn approach to disjunctive logic programming.

Similar Items