Mercurial > hg > Applications > Lite
annotate demo.pl @ 19:e1d3145cff7a lite-verifier
*** empty log message ***
author | kono |
---|---|
date | Thu, 30 Aug 2007 12:44:35 +0900 |
parents | 1c57a78f1d98 |
children |
rev | line source |
---|---|
19 | 1 % :-ensure_loaded('../tableau/liter'). |
2 :-ensure_loaded(lite). | |
2 | 3 % :-ensure_loaded('../Tokio/initm'). |
4 % :-fcompile(lite:disp). | |
5 :-ensure_loaded(lite:disp). | |
6 | |
7 % :-com([bou,gi],'tmp.out'). | |
8 % :-prolog_flag(single_var_warnings, _, off). | |
9 | |
10 % :-com([bou],'tmp.out'). | |
11 | |
19 | 12 a :-write('To do demonstration, |
2 | 13 Start Lite verifier |
14 ?- display. | |
15 Load file gi?.lite. | |
16 Verify it. | |
17 Generate it. | |
18 Run Tokio command toy0. | |
19 '). | |
19 | 20 |
21 :- display. | |
22 | |
23 :- halt. |