Foundations of Equational Logic Programming

ISBN-13: 9783540515333 / Angielski / Miękka / 1989 / 256 str.

Steffen Hölldobler

Opis

Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augmenting programs with a conditional equational theory, it defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting.

Spis treści

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.

O autorze

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