APICe » Publications » A Multi-Theory Logic Language for the World Wide Web

A Multi-Theory Logic Language for the World Wide Web

Giulio Piancastelli, Andrea Omicini
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.
Logic Programming, Lecture Notes in Computer Science 5366, pages 769-773, December 2008.
Maria Garcia de la Banda, Enrico Pontelli (eds.), Springer
24th International Conference (ICLP 2008), Udine, Italy, 9-13 December 2008. Proceedings 
@incollection{weblp-iclp08,
	Author = {Piancastelli, Giulio and Omicini, Andrea},
	Booktitle = {Logic Programming},
	Doi = {10.1007/978-3-540-89982-2_74},
	Editor = {Garcia de la Banda, Maria and Pontelli, Enrico},
	Isbn = {978-3-540-89981-5},
	Isbn-Online = {978-3-540-89982-2},
	Issn = {0302-9743},
	Month = dec,
	Note = {24th International Conference (ICLP 2008), Udine, Italy, 9-13~} # dec # [~2008. Proceedings},
	Publisher = {Springer},
	ScopusId = {2-s2.0-58549113023},
	Series = {Lecture Notes in Computer Science},
	Pages = {769--773},
	Title = {A Multi-Theory Logic Language for the World Wide Web},
	Url = {http://link.springer.com/10.1007/978-3-540-89982-2_74},
	Volume = 5366,
	WosId = {000262929700069},
	Year = 2008}