Logic Programming

Name: Logic Programming: Operational Semantics and Proof Theory
Brand: Cambridge University Press
SKU: 9780521607544
Price: 4603.00 INR
Availability: InStock

Operational Semantics and Proof Theory

by J. Andrews, James H. Andrews

Cambridge University Press

₹4,603

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.