Logic Programming
Operational Semantics and Proof Theory
Published on 17. December 1992
Book
Hardback
116 pages
978-0-521-43219-1 (ISBN)
Description
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.
More details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
Dimensions
Height: 255 mm
Width: 178 mm
Thickness: 13 mm
Weight
413 gr
ISBN-13
978-0-521-43219-1 (9780521432191)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
New editions
Book
08/2004
Cambridge University Press
€53.70
Shipment within 15-20 days
Additional editions
Book
08/2004
Cambridge University Press
€53.70
Shipment within 15-20 days
Person
Content
1. Introduction; 2. Operational semantics; 3. Characterizing parallel systems; 4. Characterizing sequential systems; 5. Approaches to incompleteness; 6. Summary and future directions; Examples; Index of definitions; Index.