Giulio Piancastelli, Andrea Omicini

In the latest years, substantial achievements have been obtained in the description and formalization of the architectural principles and design criteria underlying the World Wide Web. First, the Representational State Transfer (REST) architectural style for distributed hypermedia systems was introduced, defining the resource as the key abstraction of information; then, the Resource-Oriented Architecture (ROA) was presented as a REST-based set of guidelines and best practices for implementing services on Web resources. However, a resource programming model is still missing, since procedural and object-oriented web programming focussed on different abstractions, such as page, controller, and service. Instead, we adopt the logic declarative paradigm to define our model for resource-oriented programming, also showing how its peculiar features lead to novel possibilities for dynamic modification and extension of resource behavior at runtime. In this paper, we first map novel REST and ROA abstractions onto elements of structured logic programming. Then, we present Web Logic Programming as a Prolog-based language for the World Wide Web embedding the core REST and ROA principles, by defining its computation model and discussing a bookshelf sharing application example.

Keywords: Representational State Transfer; Resource-Oriented Architecture; Contextual Logic Programming; Prolog

4th International Conference on Web Information Systems and Technologies (WEBIST 2008), pages 158-164, 4-7 May 2008.
José Cordeiro, Joaquim Filipe, Slimane Hammoudi (eds.), Funchal, Madeira, Portugal

@inproceedings{weblp-webist08,
	Address = {Funchal, Madeira, Portugal},
	Author = {Piancastelli, Giulio and Omicini, Andrea},
	Booktitle = {4th International Conference on Web Information Systems and Technologies (WEBIST 2008)},
	Editor = {Cordeiro, Jos{\'e} and Filipe, Joaquim and Hammoudi, Slimane},
	Isbn = {978-989-8111-26-5},
	Keywords = {Representational State Transfer; Resource-Oriented Architecture; Contextual Logic Programming; Prolog},
	Month = {4--7~} # may,
	Organization = {Institute for Systems and Technologies of Information, Control and Communication (INSTICC)},
	Pages = {158--164},
	ScopusId = {2-s2.0-58049183165},
	Title = {A {L}ogic {P}rogramming Model for {W}eb Resources},
	Volume = 1,
	WosId = {000259260900023},
	Year = 2008}