Description: Foundations of Equational Logic Programming, Paperback by Hölldobler, Steffen, ISBN 354051533X, ISBN-13 9783540515333, Like New Used, Free shipping in the US 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.
Price: 53.49 USD
Location: Jessup, Maryland
End Time: 2024-12-21T16:46:29.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Foundations of Equational Logic Programming
Number of Pages: Xii, 256 Pages
Publication Name: Foundations of Equational Logic Programming
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 1989
Item Height: 0.2 in
Subject: Intelligence (Ai) & Semantics, Computer Science, Logic Design, Compilers
Item Weight: 29.3 Oz
Type: Textbook
Item Length: 9.4 in
Author: Steffen Hölldobler
Subject Area: Computers
Item Width: 6.3 in
Series: Lecture Notes in Computer Science Ser.
Format: Perfect
