A Multi-theory Logic Language for the World Wide Web
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.
KeywordsLogic Program Logic Programming Logic Language Architectural Style Logic Programming Language
Unable to display preview. Download preview PDF.
- 1.Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine (2000)Google Scholar
- 2.Richardson, L., Ruby, S.: RESTful Web Services. O’Reilly, Sebastopol (2007)Google Scholar
- 4.Denti, E., Natali, A., Omicini, A.: Merging Logic Programming into Web-based Technology: A Coordination-based Approach. In: 2nd International Workshop on Logic Programming Tools for Internet Applications, Leuven (B), July 1997, pp. 117–128 (1997)Google Scholar
- 5.Loke, S.W.: Adding Logic Programming Behaviour to the World Wide Web. PhD thesis, University of Melbourne, Australia (1998)Google Scholar
- 6.Monteiro, L., Porto, A.: A Language for Contextual Logic Programming. In: Logic Programming Languages: Constraints, Functions, and Objects. MIT Press, Cambridge (1993)Google Scholar
- 7.Piancastelli, G., Omicini, A.: A Logic Programming model for Web resources. In: 4th International Conference on Web Information Systems and Technologies (WEBIST 2008), Funchal, Madeira (P), May 2008, pp. 158–164 (2008)Google Scholar
- 9.Piancastelli, G., Omicini, A.: A multi-theory logic programming language for the World Wide Web. Technical Report 2515, Alma Mater Studiorum—Università di Bologna (August 2008), http://amsacta.cib.unibo.it/archive/00002515/