Mercurial > hg > Applications > Tokio
comparison Examples/kiss/kiss_ex1.pl @ 0:cfb7c6b24319
Initial revision
author | kono |
---|---|
date | Thu, 30 Aug 2007 14:57:44 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
-1:000000000000 | 0:cfb7c6b24319 |
---|---|
1 st_variables([a,b],[q]). | |
2 | |
3 st(ss1,(empty),false). | |
4 st(ss1,(more,p,b,a),true). | |
5 st(ss1,(more,not(p),b,a),ss2). | |
6 st(ss1,(more,not(b),a),ss3). | |
7 st(ss1,(more,not(a)),ss3). | |
8 st(ss2,(empty),false). | |
9 st(ss2,(more,q,c),true). | |
10 st(ss2,(more,not(q),c),ss4). | |
11 st(ss2,(more,q,not(c)),ss2). | |
12 st(ss2,(more,not(q),not(c)),true). | |
13 st(ss4,(empty),false). | |
14 st(ss4,(more,q,b,a),true). | |
15 st(ss4,(more,not(q),b,a),ss5). | |
16 st(ss4,(more,q,not(b),a),ss4). | |
17 st(ss4,(more,not(q),not(b),a),true). | |
18 st(ss4,(more,q,not(a)),true). | |
19 st(ss4,(more,not(q),not(a)),ss5). | |
20 st(ss5,(empty),false). | |
21 st(ss5,(more,q,c),true). | |
22 st(ss5,(more,not(q),c),ss3). | |
23 st(ss5,(more,q,not(c)),true). | |
24 st(ss5,(more,not(q),not(c)),ss5). | |
25 st(ss3,(empty),false). | |
26 st(ss3,(more,p,b,a),true). | |
27 st(ss3,(more,not(p),b,a),ss2). | |
28 st(ss3,(more,q,not(b),a),ss3). | |
29 st(ss3,(more,not(q),not(b),a),true). | |
30 st(ss3,(more,q,not(a)),ss3). | |
31 st(ss3,(more,not(q),not(a)),true). |