view tk/tmp.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:-(_2063= *green,_2077= *move,_2091= *quit,_2105= *red,_2119= *start,_2130= *stop),write((green=_2063,move=_2077,quit=_2091,red=_2105,start=_2119,stop=_2130)).
true :- empty.
true :- more,true.
s1 :- *stop= 1,*quit= 1,*green:= 0,*move:= 0,*red:= 1,empty.
s1 :- *stop= 1,*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 :- 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.
s2 :- *quit= 1,*green:= 0,*move:= 0,*red:= 1,empty.
s2 :- *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= 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.
s3 :- *quit= 1,*green:= 0,*move:= 0,*red:= 1,empty.
s3 :- *quit= 1,*green:= 1,*move:= 1,*red:= 0,empty.
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.
s3 :- more,*stop= 1,*start= 0,*quit= 0,*green:= 0,*move:= 0,*red:= 1,@s2.