A Logic Programming Framework for Web Application Development

   page       BibTeX_logo.png   
11th International Symposium on Practical Aspects of Declarative Languages (PADL'09)

The recent architectural formalisation of the World Wide Web in terms of Representational State Transfer (REST) architectural style and Resource-Oriented Architecture (ROA) focuses on resources as the Web main data element and computational abstraction.
However, frameworks and applications currently developed on the Web platform still mostly revolve around the Model-View-Control architectural pattern, thus suffering from an abstraction mismatch that makes it difficult to fully exploit the Web properties.

We claim that logic programming is well-suited for promoting the Web architecture and principles, by freeing developers from many aspects of explicit program control and putting resources back to their prominent role in Web applications, also allowing novel features such as dynamic modification of resource behaviour at runtime.
Along this line, in this paper we present the architecture of a framework for engineering applications on the Web, built over a context-based logic language embedding the core REST and ROA principles.

keywordsWeb Programming, REST & ROA, Contextual Logic Programming, Programming Framework