Universal Quantification in Categorical Logic Programming Categorical operational semantics for universal quantification in hereditarily Harrop logic programming

Auteur: Ayalur Krishnan
Taal: Engels
Universal Quantification in Categorical Logic Programming
Auteur: Ayalur Krishnan
Uitgever: Vdm Verlag
  • Engels
  • Paperback
  • 9783639368284
  • augustus 2011
  • 72 pagina's
Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal
Engels
Bindwijze
Paperback
Verschijningsdatum
2011-01-01
Aantal pagina's
72 pagina's
Illustraties
Nee

Betrokkenen

Auteur
Ayalur Krishnan
Uitgever
Vdm Verlag

EAN

EAN
9783639368284

Overige kenmerken

Extra groot lettertype
Nee
NUR code
918
Oorspronkelijke releasedatum
2011-08-24
Subtitel
Categorical operational semantics for universal quantification in hereditarily Harrop logic programming
Thema Subject Code
PB

Je vindt dit artikel in

Categorieën
Taal
Engels
Studieboek of algemeen
Algemene boeken
Boek, ebook of luisterboek?
Boek
Nog geen reviews
Bindwijze: Paperback
77 99
2 - 3 weken Tooltip
Verkoop door bol.com
  • Gratis verzending
  • 30 dagen bedenktijd en gratis retourneren
  • Ophalen bij een bol.com afhaalpunt mogelijk
  • Dag en nacht klantenservice