Foundations of equational logicprogramming

The Open Library:

"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."--Publisher's web site.

Search for “Foundations of equational logicprogramming” downloads:

Visit our Downloads Search page to see if downloads are available.

Borrow "Foundations of equational logicprogramming" Online:

Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.

• Is Online Borrowing Available: Yes
• Preview Status: restricted
• Check if available: The Open Library & The Internet Archive

Find “Foundations of equational logicprogramming” in Libraries Near You:

Read or borrow “Foundations of equational logicprogramming” from your local library.

• The WorldCat Libraries Catalog: Find a copy of “Foundations of equational logicprogramming” at a library near you.