Towards a Logic Language and Framework for Web Programming


Giulio Piancastelli, Andrea Omicini, Enrico Denti

Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, pages 15-19
CEUR Workshop Proceedings 487, August 2009
Sun SITE Central Europe, RWTH Aachen University
Matteo Baldoni, Cristina Baroglio (eds.)
Proceedings of the Day Dedicated to Prof. Alberto Martelli. Turin, Italy, 3 June 2008

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 resource 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.

(keywords) World Wide Web, REST, Contextual Logic Programming, tuProlog, Prolog
 @incollection{weblp-ceur487,
Author = {Piancastelli, Giulio and Omicini, Andrea and Denti, Enrico},
Booktitle = {Il Milione (i.e. $2\hat{~}6$, June 3rd 2008), A Journey in the Computational Logic in Italy},
Editor = {Baldoni, Matteo and Baroglio, Cristina},
Issn = {1613-0073},
Month = aug,
Note = {Proceedings of the Day Dedicated to Prof. Alberto Martelli. Turin, Italy, 3 June 2008},
Pages = {15--19},
Pdf-Url = {http://CEUR-WS.org/Vol-487/paper3.pdf},
Publisher = {Sun SITE Central Europe, RWTH Aachen University},
ScopusId ={2-s2.0-84893178974},
Series = {CEUR Workshop Proceedings},
Title = {Towards a Logic Language and Framework for {W}eb Programming},
Url = {http://CEUR-WS.org/Vol-487/paper3.pdf},
Volume = 487,
Year = 2009

Journals & Series

Publication

— authors

Giulio Piancastelli, Andrea Omicini, Enrico Denti

— editors

Matteo Baldoni, Cristina Baroglio

— status

published

— sort

paper in proceedings

Venue

— volume

Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy

— series

CEUR Workshop Proceedings

— volume

487

— pages

15-19

— publication date

August 2009

URLs

original page  |  original PDF

Identifiers

— Scopus

2-s2.0-84893178974

— print ISSN

1613-0073

BibTeX

— BibTeX ID
weblp-ceur487
— BibTeX category
incollection

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