Willkommen, schön sind Sie da!
Logo Ex Libris

Foundations of Equational Logic Programming

  • Kartonierter Einband
  • 264 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposal... Weiterlesen
20%
49.50 CHF 39.60
Sie sparen CHF 9.90
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories.

Autorentext
Dr. Steffen Hölldobler ist wissenschaftlicher Mitarbeiter am Fachbereich Informatik.

Inhalt
Preliminaries.- Equational Logic Programming.- Universal Unification.- SLDE-Resolution.- Paramodulation.- Universal Unification by Complete Sets of Transformations.- Lazy Resolution and Complete Sets of Inference Rules for Horn Equational Theories.- Conclusion.

Produktinformationen

Titel: Foundations of Equational Logic Programming
Autor:
EAN: 9783540515333
ISBN: 354051533X
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 264
Gewicht: 406g
Größe: H235mm x B155mm x T14mm
Jahr: 1989
Untertitel: Englisch
Auflage: 1989

Weitere Produkte aus der Reihe "Lecture Notes in Artificial Intelligence"