Towards a Logic Language and Framework for Web Programming


Giulio Piancastelli, Andrea Omicini, Enrico Denti

Il Milione. Viaggio nella logica computazionale in Italia, pages 15-19
3 June 2008
Matteo Baldoni, Cristina Baroglio (eds.)
Technical Report. Essay Dedicated to Alberto Martelli

Despite the popularity of the World Wide Web as a development platform, a proper description of its architectural principles and design criteria has been achieved only recently, by the introduction of the Representational State Transfer (REST) architectural style which defines the <em>resource</em> as the key abstraction of information.
In fact, languages and tools currently used for Web programming generally suffer from a lack of proper understanding of its architecture and design constraints, and from an abstraction mismatch that makes it hard to exploit the Web potential.

Declarative languages are well-suited for a programming system aimed at being respectful of the Web architecture and principles.
Among logic technologies, tuProlog has been explicitly designed to be one of the enabling components of Internet-based infrastructures: its engineering properties make it suitable for use on the Web, where logic programming allows modification of resource behaviour at runtime.
Accordingly, in this paper we present a Prolog-based logic model for programming Web resources, and outline a framework for developing Web applications grounded on that model.

 @incollection{weblp-unito08,
Author = {Piancastelli, Giulio and Omicini, Andrea and Denti, Enrico},
Booktitle = {Il {M}ilione. Viaggio nella logica computazionale in {I}talia},
Editor = {Baldoni, Matteo and Baroglio, Cristina},
Month = {3~} # jun,
Note = {Technical Report 110/08. Essay Dedicated to Alberto Martelli},
Pages = {15--19},
Pdf-Url = {http://www.di.unito.it/~argo/papers/2008_IlMilione.pdf},
Publisher = {Dipartimento di Informatica, Universit{\`a} degli Studi di Torino},
Title = {Towards a Logic Language and Framework for {W}eb Programming},
Year = 2008}
 

Publication

— authors

Giulio Piancastelli, Andrea Omicini, Enrico Denti

— editors

Matteo Baldoni, Cristina Baroglio

— status

published

— sort

book chapter

Venue

— volume

Il Milione. Viaggio nella logica computazionale in Italia

— issue

110/08

— pages

15-19

— publication date

3 June 2008

URLs

original PDF

Identifiers

— IRIS

11585/82474

BibTeX

— BibTeX ID
weblp-unito08
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY