Mercurial > hg > Applications > Tokio

view Examples/toy/gi_ex.pl @ 4:f864bb4ba9a4 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update tags
author convert-repo
date Fri, 07 Nov 2008 20:36:52 +0000
parents cfb7c6b24319
children
line wrap: on
line source

%
% specification for simple graphics interaction
%

gi_ex((
+(((stop,keep((red,not(start)));start,keep((green,not(stop)))))),
[]((red,not(green);not(red),green)),
[]((green->move)),
[]((red->not(move))),
halt(quit)
)) :-
      asserta(lite:st_variables([stop,start,quit],[red,gree,move])).

gi:-gi_ex(X),write(X),nl,lite:ex(X),nl,lite:tgen.

giout :- gi_ex(X),lite:ex(X),tell('gi.tokio'),lite:tgen,told.