A Multi-Theory Logic Programming Language for the World Wide Web

Piancastelli, Giulio ; Omicini, Andrea (2008) A Multi-Theory Logic Programming Language for the World Wide Web. p. 16. DOI 10.6092/unibo/amsacta/2515.
Full text available as:
[thumbnail of www-logic-language.pdf]
Download (1MB) | Preview


Despite the World Wide Web recent architectural formalization in terms of Representational State Transfer (REST) architectural style and Resource-Oriented Architecture (ROA), current languages and tools for Web programming generally suffer from a lack of understanding of its design constraints and from an abstraction mismatch that makes it difficult to fully exploit the Web potential. Based on the insights gained by REST and ROA, we claim that logic languages are well-suited for promoting the Web architecture and principles: in particular, the straightforward mapping of REST and ROA abstractions onto elements of Contextual Logic Programming allows for directly executable logic-based resource representations, as well as dynamic modification of resource behaviour at runtime. Along this line, in this paper we present Web Logic Programming as a Prolog-based language for the World Wide Web embedding the core REST and ROA principles, intended to work as the basis of a framework for the rapid prototyping of Web applications. We define the language operational semantics and discuss some simple but significant programming examples.

Document type
Monograph (Technical Report)
Piancastelli, Giulio
Omicini, Andrea
World Wide Web, Representational State Transfer, Resource-Oriented Architecture, Contextual Logic Programming, Prolog, Web Logic Programming.
Deposit date
01 Sep 2008
Last modified
16 May 2011 12:09

Other metadata

This work may be freely consulted and used, may be reproduced on a permanent basis in a digital format (i.e. saving) and can be printed on paper with own personal equipment (without availing of third -parties services), for strictly and exclusively personal, research or teaching purposes, with express exclusion of any direct or indirect commercial use, unless otherwise expressly agreed between the user and the author or the right holder. It is also allowed, for the same purposes mentioned above, the retransmission via telecommunication network, the distribution or sending in any form of the work, including the personal redirection (e-mail), provided it is always clearly indicated the complete link to the page of the Alma DL Site in which the work is displayed. All other rights are reserved.



Staff only: View the document