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

Schroeder-Heister, Peter; Eriksson, Lars-Henrik; Halln??s, Lars

 
9783540554981: Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings: 596
Brossura
ISBN 10: 354055498X ISBN 13: 9783540554981
Casa editrice: Springer, 2008

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
354055498X
ISBN 13 
9783540554981
Rilegatura
Copertina flessibile
Numero di pagine
384
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9780387554983: Extensions of Logic Programming: Second International Workshop, Elp 91 Stockholm, Sweden, January 27-29, 1991 : Proceedings

Edizione in evidenza

ISBN 10:  038755498X ISBN 13:  9780387554983
Casa editrice: Springer Verlag, 1992
Brossura