Computational Logic WWW Programming Using LP/CLP Systems
1
Computational Logic WWW Programming Using LP/CLP Systems 1 LP/CLP - - PowerPoint PPT Presentation
Computational Logic WWW Programming Using LP/CLP Systems 1 LP/CLP , the Internet, and the WWW Logic and Constraint Logic Programming can be an attractive alternative for Internet/WWW programming. Shared with other net programming tools:
1
2
3
4
WWW Browser
www.xxx.yyy
1 4 3 2 Server HTTP hello_world
5
WWW Browser
1 4 3 2 Server HTTP hello_world
6
WWW Browser
www.xxx.yyy
1 4 3 2 Server HTTP hello_world
7
8
9
10
11
WWW Browser
www.xxx.yyy
1 4 3 2 Server HTTP hello_world
12
13
WWW Browser form data form reply
<form action="http://www.xxx.yyy/handler.cgi">
1 2 6 5 4 3 handler.cgi Server HTTP
14
WWW Browser form data form reply
www.xxx.yyy
<form action="http://www.xxx.yyy/handler.cgi">
1 2 6 5 4 3 handler.cgi Server HTTP
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
WWW Browser
www.xxx.yyy
1 4 3 2 Server HTTP hello_world
31
WWW Browser form data form reply
www.xxx.yyy
1 2 8 7 4 3 6 5 Server HTTP auxscript
<form action="http://www.xxx.yyy/auxscript.cgi">
Running Process
32
Active Module WWW Browser form data form reply
www.xxx.yyy
<form action="http://www.xxx.yyy/am_inter.cgi"> predicate(Arg1,Arg2,...,ArgN)
1 2 8 7 4 3 6 5 am_inter Server HTTP
33
34
35
36
37
<form action="http://www.xxx.yyy/am_inter.cgi"> predicate(Arg1,Arg2,...,ArgN)
38
39
40
41
42
43
44
45
46
app.wpl 1 5 4 6 3 8 10 11 9 2 7 Module Active
wpl_handler /tmp/x1349
/tmp/x1349 code
form data FormData
answerform(FormData, FormReply)
FormReply form reply
http://www.xxx.yyy/app.wpl
loaded
loadcode(’/tmp/x1349’) <form action="http://localhost/wpl_questioner.cgi">
WWW Browser wpl_handler wpl_questioner
47
48
49
50
51