Piancastelli, Giulio ; Omicini, Andrea (2008) A Multi-Theory Logic Programming Language for the World Wide Web. p. 16. DOI (2008) A Multi-Theory Logic Programming Language for the World Wide Web. p. 16. DOI 10.6092/unibo/amsacta/2515

Salva citazione Condividi Citato da

Full text disponibile come:

Abstract Despite the World Wide Web recent architectural formalization in terms of Representational State Transfer (REST) architectural style and Resource-Oriented Architecture (ROA), current languages and tools for Web programming generally suffer from a lack of understanding of its design constraints and from an abstraction mismatch that makes it difficult to fully exploit the Web potential. Based on the insights gained by REST and ROA, we claim that logic languages are well-suited for promoting the Web architecture and principles: in particular, the straightforward mapping of REST and ROA abstractions onto elements of Contextual Logic Programming allows for directly executable logic-based resource representations, as well as dynamic modification of resource behaviour at runtime. Along this line, in this paper we present Web Logic Programming as a Prolog-based language for the World Wide Web embedding the core REST and ROA principles, intended to work as the basis of a framework for the rapid prototyping of Web applications. We define the language operational semantics and discuss some simple but significant programming examples.

Abstract Despite the World Wide Web recent architectural formalization in terms of Representational State Transfer (REST) architectural style and Resource-Oriented Architecture (ROA), current languages and tools for Web programming generally suffer from a lack of understanding of its design constraints and from an abstraction mismatch that makes it difficult to fully exploit the Web potential. Based on the insights gained by REST and ROA, we claim that logic languages are well-suited for promoting the Web architecture and principles: in particular, the straightforward mapping of REST and ROA abstractions onto elements of Contextual Logic Programming allows for directly executable logic-based resource representations, as well as dynamic modification of resource behaviour at runtime. Along this line, in this paper we present Web Logic Programming as a Prolog-based language for the World Wide Web embedding the core REST and ROA principles, intended to work as the basis of a framework for the rapid prototyping of Web applications. We define the language operational semantics and discuss some simple but significant programming examples.

Tipologia del documento Monografia (Rapporto tecnico) Autori Autore Affiliazione ORCID Piancastelli, Giulio Omicini, Andrea Parole chiave World Wide Web, Representational State Transfer, Resource-Oriented Architecture, Contextual Logic Programming, Prolog, Web Logic Programming. Settori scientifico-disciplinari Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni DOI 10.6092/unibo/amsacta/2515 Data di deposito 01 Set 2008 Ultima modifica 16 Mag 2011 12:09 URI http://amsacta.unibo.it/id/eprint/2515

Altri metadati Tipologia del documento Monografia (Rapporto tecnico) Autori Autore Affiliazione ORCID Piancastelli, Giulio Omicini, Andrea Parole chiave World Wide Web, Representational State Transfer, Resource-Oriented Architecture, Contextual Logic Programming, Prolog, Web Logic Programming. Settori scientifico-disciplinari Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni DOI 10.6092/unibo/amsacta/2515 Data di deposito 01 Set 2008 Ultima modifica 16 Mag 2011 12:09 URI http://amsacta.unibo.it/id/eprint/2515

La presente opera può essere liberamente consultata ed utilizzata, può essere riprodotta in via permanente in formato digitale (c.d. salvataggio) e può esserne effettuata la stampa su carta con apparecchiature private (senza ricorso a terzi operatori professionali), per fini strettamente ed esclusivamente personali, di ricerca o didattica, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale, salvo diverso accordo espresso fra il singolo utente e l'autore o il titolare dei diritti sull'opera. E' altresì consentita, sempre per i medesimi fini sopra citati, la ritrasmissione via rete telematica, la distribuzione o l'invio in qualunque forma dell'opera, compresa quella con indirizzamento personale per via telematica (e-mail), purchè sia sempre chiaramente indicato il link completo alla pagina del Sito di Alma DL in cui detta opera è presente. Ogni altro diritto sull'opera è riservato.

Statistica sui download

Statistica sui download