Towards a Logic Language and Framework for Web Programming


Giulio Piancastelli, Andrea Omicini, Enrico Denti

Matteo Baldoni, Cristina Baroglio (eds.)
Il Milione. Viaggio nella logica computazionale in Italia, pages 15–19
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 <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.

Publications

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

Status
•  online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note  

Services
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Publication

— authors

— editors

Matteo Baldoni, Cristina Baroglio

— status

published

— sort

book chapter

— publication date

June 2008

— volume

Il Milione. Viaggio nella logica computazionale in Italia

— issue

110/08

— pages

15–19

— institution

Dipartimento di Informatica, Università degli Studi di Torino

URLs

original PDF

identifiers

— IRIS

11585/82474

notes

— note

Technical Report. Essay Dedicated to Alberto Martelli

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY