Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics

Buy Now

Universal Quantification in Categorical Logic Programming (Paperback) Loot Price: R1,544
Discovery Miles 15 440
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,544 Discovery Miles 15 440 | Repayment Terms: R141 pm x 12*

Bookmark and Share

Expected to ship within 7 - 11 working days

Add a Casual Day Sticker for R20

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 > Science & Mathematics > Mathematics > General
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!