Extensions of Logic Programming

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

Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister (Herausgeber)

Buch | Softcover

VIII, 376 Seiten

1992 | 1992
Springer Berlin (Verlag)
978-3-540-55498-1 (ISBN)

Artikel merken

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

Erscheint lt. Verlag	20.5.1992
Reihe/Serie	Lecture Notes in Artificial Intelligence
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	VIII, 376 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	562 g
Themenwelt	Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	extension • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Horn Clauses • Horn Klauseln • Knowledge Representation • Künstliche Intelligenz • Logic • Logic Programming • Logische Programmierung • Logisches Programmieren • Mathematische Logik • programming • Programming language • PROLOG • PROLOG (Programmiersprache) • Reasoning • Schliessen • Schließen • Wissens-Darstellung
ISBN-10	3-540-55498-X / 354055498X
ISBN-13	978-3-540-55498-1 / 9783540554981
Zustand	Neuware