--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Examples/kiss/kiss_ex1.pl	Thu Aug 30 14:57:44 2007 +0900
@@ -0,0 +1,31 @@
+st_variables([a,b],[q]).
+
+st(ss1,(empty),false).
+st(ss1,(more,p,b,a),true).
+st(ss1,(more,not(p),b,a),ss2).
+st(ss1,(more,not(b),a),ss3).
+st(ss1,(more,not(a)),ss3).
+st(ss2,(empty),false).
+st(ss2,(more,q,c),true).
+st(ss2,(more,not(q),c),ss4).
+st(ss2,(more,q,not(c)),ss2).
+st(ss2,(more,not(q),not(c)),true).
+st(ss4,(empty),false).
+st(ss4,(more,q,b,a),true).
+st(ss4,(more,not(q),b,a),ss5).
+st(ss4,(more,q,not(b),a),ss4).
+st(ss4,(more,not(q),not(b),a),true).
+st(ss4,(more,q,not(a)),true).
+st(ss4,(more,not(q),not(a)),ss5).
+st(ss5,(empty),false).
+st(ss5,(more,q,c),true).
+st(ss5,(more,not(q),c),ss3).
+st(ss5,(more,q,not(c)),true).
+st(ss5,(more,not(q),not(c)),ss5).
+st(ss3,(empty),false).
+st(ss3,(more,p,b,a),true).
+st(ss3,(more,not(p),b,a),ss2).
+st(ss3,(more,q,not(b),a),ss3).
+st(ss3,(more,not(q),not(b),a),true).
+st(ss3,(more,q,not(a)),ss3).
+st(ss3,(more,not(q),not(a)),true).