Mercurial > hg > Applications > Tokio

annotate Examples/toy/gi_ex.pl @ 0:cfb7c6b24319

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial revision
author kono
date Thu, 30 Aug 2007 14:57:44 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
1 %
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
2 % specification for simple graphics interaction
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
3 %
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
4
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
5 gi_ex((
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
6 +(((stop,keep((red,not(start)));start,keep((green,not(stop)))))),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
7 []((red,not(green);not(red),green)),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
8 []((green->move)),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
9 []((red->not(move))),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
10 halt(quit)
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
11 )) :-
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
12 asserta(lite:st_variables([stop,start,quit],[red,gree,move])).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
13
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
14 gi:-gi_ex(X),write(X),nl,lite:ex(X),nl,lite:tgen.
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
15
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
16 giout :- gi_ex(X),lite:ex(X),tell('gi.tokio'),lite:tgen,told.