Your cart

Your cart is empty


Buy Now

Universal Quantification in Categorical Logic Programming (Paperback) Loot Price: R1,323
Discovery Miles 13 230
  • This item is a special order that could take a long time to obtain.

Universal Quantification in Categorical Logic Programming (Paperback): Ayalur Krishnan

Universal Quantification in Categorical Logic Programming (Paperback)

Ayalur Krishnan

 (sign in to rate)
Loot Price R1,323 Discovery Miles 13 230 | Repayment Terms: R121 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

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.


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
Categories: Books
LSN: 3-639-36828-2
Barcode: 9783639368284

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!