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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine (2000)
Richardson, L., Ruby, S.: RESTful Web Services. O’Reilly, Sebastopol (2007)
Cabeza, D., Hermenegildo, M.: Distributed WWW Programming using (Ciao–) Prolog and the PiLLoW Library. Theory and Practice of Logic Programming 1(3), 251–282 (2001)
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)
Loke, S.W.: Adding Logic Programming Behaviour to the World Wide Web. PhD thesis, University of Melbourne, Australia (1998)
Monteiro, L., Porto, A.: A Language for Contextual Logic Programming. In: Logic Programming Languages: Constraints, Functions, and Objects. MIT Press, Cambridge (1993)
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)
Brogi, A., Mancarella, P., Pedreschi, D., Turini, F.: Modular Logic Programming. ACM Trans. on Programming Languages and Systems 16(3), 1361–1398 (1994)
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/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Piancastelli, G., Omicini, A. (2008). A Multi-theory Logic Language for the World Wide Web. In: Garcia de la Banda, M., Pontelli, E. (eds) Logic Programming. ICLP 2008. Lecture Notes in Computer Science, vol 5366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89982-2_74
Download citation
DOI: https://doi.org/10.1007/978-3-540-89982-2_74
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89981-5
Online ISBN: 978-3-540-89982-2
eBook Packages: Computer ScienceComputer Science (R0)