0
Your cart

Your cart is empty

Books

Buy Now

Universal Quantification in Categorical Logic Programming (Paperback) Loot Price: R1,427
Discovery Miles 14 270
Universal Quantification in Categorical Logic Programming (Paperback): Ayalur Krishnan
Universal Quantification in Categorical Logic Programming (Paperback): Ayalur Krishnan

Share your images

Universal Quantification in Categorical Logic Programming (Paperback)

Ayalur Krishnan

 (sign in to rate)
Loot Price R1,427 Discovery Miles 14 270 | Repayment Terms: R133 pm x 12*

Bookmark and Share

Usually dispatched within 7 - 15 working days.

As the subject of logic programming has grown, demand for more expressive power and efficiency has led language designers to import constructs from other programming paradigms. Given the substantial gap between semantic methods in the functional, imperative and declarative programming communities, it is hard to evaluate the effectiveness of proposals to add imported features to logic programming, unless there is an agreed-upon common framework. A categorical foundation for logic programming is an essential tool in this endeavour. In this work we show how to handle universal quantification in categorical logic programming via indexed categories. We define categorical syntax via tau-categories, and resolution over such categories for hereditarily Harrop programs and goals, and give a categorical operational semantics with respect to which resolution is shown sound and complete. Our model theory is a categorical generalization of the Kowalski-Van Emden fixed point semantics based on indexing over programs in order to capture program augmentation and state change. This framework is sufficiently broad to handle constraint logic programming and also a treatment of abstract datatypes.

General

Imprint: VDM Verlag
Country of origin: Germany
Release date: August 2011
First published: August 2011
Authors: Ayalur Krishnan
Dimensions: 229 x 152 x 4mm (L x W x T)
Format: Paperback - Trade
Pages: 72
ISBN-13: 978-3-639-36828-4
Barcode: 9783639368284
Categories: Promotions
Books
LSN: 3-639-36828-2

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Loyalty partners