Giulio Piancastelli, Andrea Omicini, Enrico Denti

Despite the popularity of the World Wide Web as a development platform, a proper description of its architectural principles and design criteria has been established only in the last decade, by the introduction of the REpresentational State Transfer (REST) architectural style, which defines the resource as the key abstraction of information. Languages and tools 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 fully 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
Intelligenza Artificiale 5(1), pages 151-155, 2011, IOS Press
@article{weblp-ia5,
Author = {Piancastelli, Giulio and Omicini, Andrea and Denti, Enrico},
Doi = {10.3233/IA-2011-0019},
Issn = {1724-8035},
Journal = {Intelligenza Artificiale},
Keywords = {World Wide Web, REST, Contextual Logic Programming, tuProlog, Prolog},
Number = 1,
Pages = {151--155},
Publisher = {IOS Press},
Title = {Towards a Logic Framework for {W}eb Programming},
Url = {http://iospress.metapress.com/content/t25047p73245564g},
Volume = 5,
Year = 2011}

Tags: WebLP REST
    

Publication

Towards a logic framework for Web programming

— status

published  

— authors

Giulio Piancastelli, Andrea Omicini, Enrico Denti

URLs & IDs

original page

— DOI

10.3233/IA-2011-0019

— IRIS

11585/100501

— print ISSN

1724-8035

BibTeX

— BibTeX ID
weblp-ia5
— BibTeX category
article

APICe

— journal/series
IA

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