Mercurial > hg > Applications > Tokio

annotate Examples/kiss/kiss_ex1.pl @ 0:cfb7c6b24319

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial revision
author kono
date Thu, 30 Aug 2007 14:57:44 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
1 st_variables([a,b],[q]).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
2
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
3 st(ss1,(empty),false).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
4 st(ss1,(more,p,b,a),true).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
5 st(ss1,(more,not(p),b,a),ss2).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
6 st(ss1,(more,not(b),a),ss3).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
7 st(ss1,(more,not(a)),ss3).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
8 st(ss2,(empty),false).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
9 st(ss2,(more,q,c),true).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
10 st(ss2,(more,not(q),c),ss4).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
11 st(ss2,(more,q,not(c)),ss2).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
12 st(ss2,(more,not(q),not(c)),true).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
13 st(ss4,(empty),false).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
14 st(ss4,(more,q,b,a),true).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
15 st(ss4,(more,not(q),b,a),ss5).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
16 st(ss4,(more,q,not(b),a),ss4).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
17 st(ss4,(more,not(q),not(b),a),true).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
18 st(ss4,(more,q,not(a)),true).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
19 st(ss4,(more,not(q),not(a)),ss5).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
20 st(ss5,(empty),false).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
21 st(ss5,(more,q,c),true).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
22 st(ss5,(more,not(q),c),ss3).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
23 st(ss5,(more,q,not(c)),true).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
24 st(ss5,(more,not(q),not(c)),ss5).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
25 st(ss3,(empty),false).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
26 st(ss3,(more,p,b,a),true).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
27 st(ss3,(more,not(p),b,a),ss2).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
28 st(ss3,(more,q,not(b),a),ss3).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
29 st(ss3,(more,not(q),not(b),a),true).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
30 st(ss3,(more,q,not(a)),ss3).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
31 st(ss3,(more,not(q),not(a)),true).