Foundations of Equational Logic Programming

Foundations of Equational Logic Programming
Author :
Publisher : Lecture Notes in Artificial Intelligence
Total Pages : 268
Release :
ISBN-10 : UOM:39015019618332
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Foundations of Equational Logic Programming by : Steffen Hölldobler

Download or read book Foundations of Equational Logic Programming written by Steffen Hölldobler and published by Lecture Notes in Artificial Intelligence. This book was released on 1989 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Foundations of Equational Logic Programming Related Books

Foundations of Equational Logic Programming
Language: en
Pages: 268
Authors: Steffen Hölldobler
Categories: Computers
Type: BOOK - Published: 1989 - Publisher: Lecture Notes in Artificial Intelligence

DOWNLOAD EBOOK

Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate
Foundations of Equational Logic Programming
Language: en
Pages: 268
Authors: Steffen Holldobler
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

DOWNLOAD EBOOK

Equational Logic as a Programming Language
Language: en
Pages: 338
Authors: Michael J. O'Donnell
Categories: Computers
Type: BOOK - Published: 1985 - Publisher: MIT Press (MA)

DOWNLOAD EBOOK

This book describes an ongoing equational programming project that started in 1975. Within the project an equational programming language interpreter has been d
Logic Programming
Language: en
Pages: 676
Authors: John Lloyd
Categories: Computers
Type: BOOK - Published: 1995 - Publisher: MIT Press

DOWNLOAD EBOOK

The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences
Logic Programming '88
Language: en
Pages: 268
Authors: Koichi Furukawa
Categories: Computers
Type: BOOK - Published: 1989-09-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successo