A Multi-theory Logic Language for the World Wide Web

Authors:
Giulio Piancastelli;Andrea Omicini
Affiliations:
ALMA MATER STUDIORUM, Università di Bologna, Cesena, Italy 47037;ALMA MATER STUDIORUM, Università di Bologna, Cesena, Italy 47037
Venue:
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Year:
2008

Citing 5
Cited 0

A language for contextual logic programming

Logic programming languages
Modular logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
Architectural styles and the design of network-based software architectures

Architectural styles and the design of network-based software architectures
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library

Theory and Practice of Logic Programming
Restful web services

Restful web services

Quantified Score

Hi-index	0.00

Visualization

Abstract

Despite the recent formalization of the Web in terms of Representational State Transfer (REST) architectural style and Resource-Oriented Architecture (ROA), current tools for Web programming generally misunderstand its design. Based on REST/ROA insights, we claim that logic languages are suited for promoting the Web architecture and principles. The mapping of REST/ROA abstractions onto elements of Contextual Logic Programming also permits runtime modification of resource behavior. In this paper we present Web Logic Programming as a Prolog-based language for the Web embedding REST/ROA principles, meant to be the basis of an application framework for rapid prototyping.