Mercurial > hg > Applications > Tokio
view Examples/kiss/kiss_ex1.pl @ 4:f864bb4ba9a4 default tip
update tags
author | convert-repo |
---|---|
date | Fri, 07 Nov 2008 20:36:52 +0000 |
parents | cfb7c6b24319 |
children |
line wrap: on
line source
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).