Logic Programming (English, J. Andrews | James H. Andrews)

Name: Logic Programming (English, J. Andrews | James H. Andrews)
SKU: isbn-9780521607544
Price: 4603.00 INR
Availability: InStock
ISBN: 9780521607544

By J. Andrews | James H. AndrewsCambridge University Press

₹4,603

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:

Free DeliveryOn every order

15-Day ReturnEasy returns

Verified ListingQuality-checked

Available Offers

🚚Free Delivery — Free shipping on all orders
💵Cash on Delivery — Pay when your order arrives
↩️15-Day Easy Returns — Hassle-free return policy
🔒Cash on Delivery — Pay safely when your order arrives

Check Delivery

Book Details

ISBN-13	9780521607544
ISBN-10	052160754X

Product Description

About the Book

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 '…

ISBN: 9780521607544