Mercurial > hg > Applications > Lite
annotate demo.pl @ 10:f2aa38ce0787
add state display.
author | kono |
---|---|
date | Fri, 19 Jan 2001 23:14:00 +0900 |
parents | 1c57a78f1d98 |
children | e1d3145cff7a |
rev | line source |
---|---|
2 | 1 :-ensure_loaded('../tableau/liter'). |
2 % :-ensure_loaded('../Tokio/initm'). | |
3 % :-fcompile(lite:disp). | |
4 :-ensure_loaded(lite:disp). | |
5 | |
6 % :-com([bou,gi],'tmp.out'). | |
7 % :-prolog_flag(single_var_warnings, _, off). | |
8 | |
9 % :-com([bou],'tmp.out'). | |
10 | |
11 :-write('To do demonstration, | |
12 Start Lite verifier | |
13 ?- display. | |
14 Load file gi?.lite. | |
15 Verify it. | |
16 Generate it. | |
17 Run Tokio command toy0. | |
18 '). |