Mercurial > hg > Applications > Lite

annotate example/gi_ex.pl @ 22:29cf617f49db default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
newer CVS version
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 22 Apr 2016 16:47:13 +0900
parents 1c57a78f1d98
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
1 %
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
2 % specification for simple graphics interaction
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
3 %
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
4
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
5 gi_ex((
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
6 +(((stop,keep((red,not(start)));start,keep((green,not(stop)))))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
7 []((red,not(green);not(red),green)),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
8 []((green->move)),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
9 []((red->not(move))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
10 halt(quit)
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
11 )) :-
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
12 asserta(lite:st_variables([stop,start,quit],[red,gree,move])).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
13
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
14 gi:-gi_ex(X),write(X),nl,lite:ex(X),nl,lite:tgen.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
15
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
16 giout :- gi_ex(X),lite:ex(X),tell('gi.tokio'),lite:tgen,told.