+612 9045 4394
 
CHECKOUT
Extensions of Logic Programming : Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings - Lars-Henrik Eriksson

Extensions of Logic Programming

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

By: Lars-Henrik Eriksson (Editor), Lars Hallnas (Editor), Peter Schroeder-Heister (Editor)

Paperback

Published: 20th May 1992
Ships: 5 to 9 business days
5 to 9 business days
$147.02
or 4 easy payments of $36.76 with Learn more

This volume contains papers presented at the secondinternational 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 toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions,applications, and programming methodologies.The first workshop in this series was held in T}bingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop will be held in Bologna in 1992.

Methodology and Programming Techniques in GCLA IIp. 1
Extended Logic-plus-Functional Programmingp. 45
Open Logic Theoriesp. 73
A Finitary Version of the Calculus of Partial Inductive Definitionsp. 89
A Logic Programming Approach to Implementing Higher-Order Term Rewritingp. 135
An Overview of the Andorra Kernel Languagep. 163
Logical and Computational Invariants of Programsp. 181
Implementing [lambda]-Calculus Reduction Strategies in Extended Logic Programming Languagesp. 193
Terminological Reasoning and Partial Inductive Definitionsp. 221
GCLA II: A Definitional Approach to Controlp. 239
Natural Semantics and Some of Its Meta-Theory in Elfp. 299
The Near-Horn Approach to Disjunctive Logic Programmingp. 345
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540554981
ISBN-10: 354055498X
Series: Studies in International Economics and Institutions
Audience: General
Format: Paperback
Language: English
Number Of Pages: 376
Published: 20th May 1992
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.01
Weight (kg): 0.54