A Multi-theory Logic Language for the World Wide Web

Loading...

Flash Player 9 (or above) is needed to view presentations.
We have detected that you do not have it on your computer. To install it, go here.

0 comments

Post a comment

    Post a comment
    Embed Video
    Edit your comment Cancel

    1 Favorite

    A Multi-theory Logic Language for the World Wide Web - Presentation Transcript

    1. A Multi-theory Logic Language for the World Wide Web Giulio Piancastelli and Andrea Omicini 24th International Conference on Logic Programming (ICLP 2008) Udine, December 9-13, 2008
    2. Purpose Bring principles, abstractions, and insights from the Web architecture to research on the use of logic programming for Web application prototyping
    3. Resource Any conceptual target of a hypertext reference Composed of: • identifier (URI) • data • behavior
    4. http://example.com/sales/2004/Q4
    5. http://example.com/sales/2004/Q4 R T(R) f(a). r(P, Q) :- s(P), t(Q).
    6. http://example.com/sales/2004/Q4 http://example.com/sales/2004/ R R1 T(R) T(R1)
    7. http://example.com/sales/2004/Q4 http://example.com/sales/2004/ R http://example.com/sales/ R1 T(R) R2 T(R1) T(R2)
    8. http://example.com/sales/2004/Q4 http://example.com/sales/2004/ R http://example.com/sales/ R1 T(R) R2 T(R1) T(R2)
    9. http://example.com/sales/2004/Q4 http://example.com/sales/2004/ R http://example.com/sales/ R1 T(R) R2 T(R1) T(R2) R http://example.com/sales/Q42004/
    10. Implicit Resources Resources representing recurring concepts in Web development that are always attached to the bottom of any context • the session with the application • the user • the application itself • the deployment environment
    11. HTTP GET /sales/2004/Q4 HTTP/1.1 Host: example.com
    12. HTTP GET /sales/2004/Q4 HTTP/1.1 Host: example.com Method Information: how the receiver has to process the request '/sales/2004/Q4' : get(Request, Response, View).
    13. HTTP GET /sales/2004/Q4 HTTP/1.1 Host: example.com Scope Information: the data where the receiver should operate the method '/sales/2004/Q4' : get(Request, Response, View).
    14. /r2/r1/r R T(R) get(_, _, V) :- a, b, c(V). a :- p, q, r.
    15. /r2/r1 /r2/r1/r R1 R T(R) get(_, _, V) :- a, b, c(V). a :- p, q, r.
    16. / /r2 /r2/r1 /r2/r1/r root R2 R1 R T(root) T(R) p :- x, y, z. get(_, _, V) :- x. a, b, c(V). a :- p, q, r.
    17. / /r2 /r2/r1 /r2/r1/r root R2 R1 R T(root) T(R) p :- x, y, z. get(_, _, V) :- x. a, b, c(V). a :- p, q, r.
    18. Dynamic Resource Behavior (1) Two or more URIs can be associated to the same resource: resources may live in different contexts at the same time and feature different behavior according to the context where the computation takes place.
    19. Dynamic Resource Behavior (2) Behavioral rules are expressed as first-class abstractions in logic programming languages, where programs can be treated as data: the HTTP protocol allows changing resource data by using the PUT method, so that runtime behavioral changes of a resource in a context are possible.
    20. A Multi-theory Logic Language for the World Wide Web Giulio Piancastelli and Andrea Omicini 24th International Conference on Logic Programming (ICLP 2008) Udine, December 9-13, 2008

    + gpiancastelligpiancastelli, 11 months ago

    custom

    885 views, 1 favs, 2 embeds more stats

    Despite the recent formalization of the Web in term more

    More info about this document

    © All Rights Reserved

    Go to text version

    • Total Views 885
      • 882 on SlideShare
      • 3 from embeds
    • Comments 0
    • Favorites 1
    • Downloads 10
    Most viewed embeds
    • 2 views on http://apice.unibo.it
    • 1 views on http://www.apice.unibo.it

    more

    All embeds
    • 2 views on http://apice.unibo.it
    • 1 views on http://www.apice.unibo.it

    less

    Flagged as inappropriate Flag as inappropriate
    Flag as inappropriate

    Select your reason for flagging this presentation as inappropriate. If needed, use the feedback form to let us know more details.

    Cancel
    File a copyright complaint
    Having problems? Go to our helpdesk?

    Categories