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.

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 = {},
Publisher = {Dipartimento di Informatica, Universit{\`a} degli Studi di Torino},
Title = {Towards a Logic Language and Framework for {W}eb Programming},
Year = 2008}


— authors

Giulio Piancastelli, Andrea Omicini, Enrico Denti

— editors

Matteo Baldoni, Cristina Baroglio

— status


— sort

book chapter


— volume

Il Milione. Viaggio nella logica computazionale in Italia

— issue


— pages


— publication date

3 June 2008


original PDF


— BibTeX ID
— BibTeX category

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