Mercurial > hg > Applications > Lite
view tk/gi.tokio @ 10:f2aa38ce0787
add state display.
author | kono |
---|---|
date | Fri, 19 Jan 2001 23:14:00 +0900 |
parents | 1c57a78f1d98 |
children |
line wrap: on
line source
?-static([green,move,quit,red,start,stop]). print_state:-(_5786= *green,_5800= *move,_5814= *quit,_5828= *red,_5842= *start,_5853= *stop),write((green=_5786,move=_5800,quit=_5814,red=_5828,start=_5842,stop=_5853)). true :- empty. true :- more,true. s1 :- *stop= 1,*start= 1,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s1 :- *stop= 1,*start= 1,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s1 :- *stop= 1,*start= 0,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s1 :- *stop= 1,*start= 0,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s1 :- *stop= 0,*start= 1,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s1 :- *stop= 0,*start= 1,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s1 :- *stop= 0,*start= 0,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s1 :- *stop= 0,*start= 0,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s1 :- more,*stop= 1,*start= 0,*quit= 0,*green:= 0,*move:= 0,*red:= 1,@s2. s1 :- more,*stop= 0,*start= 1,*quit= 0,*green:= 1,*move:= 1,*red:= 0,@s3. s1 :- more,*stop= 0,*start= 0,*quit= 0,*green:= 0,*move:= 0,*red:= 1,@s4. s1 :- more,*stop= 0,*start= 0,*quit= 0,*green:= 1,*move:= 1,*red:= 0,@s4. s2 :- *stop= 1,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s2 :- *stop= 1,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s2 :- *stop= 0,*start= 1,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s2 :- *stop= 0,*start= 1,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s2 :- *stop= 0,*start= 0,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s2 :- *stop= 0,*start= 0,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s2 :- more,*stop= 1,*start= 0,*quit= 0,*green:= 0,*move:= 0,*red:= 1,@s2. s2 :- more,*stop= 0,*start= 1,*quit= 0,*green:= 1,*move:= 1,*red:= 0,@s3. s2 :- more,*stop= 0,*start= 0,*quit= 0,*green:= 0,*move:= 0,*red:= 1,@s2. s3 :- *stop= 1,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s3 :- *stop= 1,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s3 :- *stop= 0,*start= 1,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s3 :- *stop= 0,*start= 1,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s3 :- *stop= 0,*start= 0,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s3 :- *stop= 0,*start= 0,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s3 :- more,*stop= 1,*start= 0,*quit= 0,*green:= 0,*move:= 0,*red:= 1,@s2. s3 :- more,*stop= 0,*start= 1,*quit= 0,*green:= 1,*move:= 1,*red:= 0,@s3. s3 :- more,*stop= 0,*start= 0,*quit= 0,*green:= 1,*move:= 1,*red:= 0,@s3. s4 :- *stop= 1,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s4 :- *stop= 1,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s4 :- *stop= 0,*start= 1,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s4 :- *stop= 0,*start= 1,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s4 :- *stop= 0,*start= 0,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty. s4 :- *stop= 0,*start= 0,*quit= 1,*green:= 1,*move:= 1,*red:= 0,empty. s4 :- more,*stop= 1,*start= 0,*quit= 0,*green:= 0,*move:= 0,*red:= 1,@s2. s4 :- more,*stop= 0,*start= 1,*quit= 0,*green:= 1,*move:= 1,*red:= 0,@s3. s4 :- more,*stop= 0,*start= 0,*quit= 0,*green:= 0,*move:= 0,*red:= 1,@s4. s4 :- more,*stop= 0,*start= 0,*quit= 0,*green:= 1,*move:= 1,*red:= 0,@s4.