Mercurial > hg > Applications > Lite

comparison demo.pl @ 19:e1d3145cff7a lite-verifier

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Thu, 30 Aug 2007 12:44:35 +0900
parents 1c57a78f1d98
children
comparison
equal deleted inserted replaced
18:a6adedccd5f6 19:e1d3145cff7a
1 :-ensure_loaded('../tableau/liter'). 1 % :-ensure_loaded('../tableau/liter').
2 :-ensure_loaded(lite).
2 % :-ensure_loaded('../Tokio/initm'). 3 % :-ensure_loaded('../Tokio/initm').
3 % :-fcompile(lite:disp). 4 % :-fcompile(lite:disp).
4 :-ensure_loaded(lite:disp). 5 :-ensure_loaded(lite:disp).
5 6
6 % :-com([bou,gi],'tmp.out'). 7 % :-com([bou,gi],'tmp.out').
7 % :-prolog_flag(single_var_warnings, _, off). 8 % :-prolog_flag(single_var_warnings, _, off).
8 9
9 % :-com([bou],'tmp.out'). 10 % :-com([bou],'tmp.out').
10 11
11 :-write('To do demonstration, 12 a :-write('To do demonstration,
12 Start Lite verifier 13 Start Lite verifier
13 ?- display. 14 ?- display.
14 Load file gi?.lite. 15 Load file gi?.lite.
15 Verify it. 16 Verify it.
16 Generate it. 17 Generate it.
17 Run Tokio command toy0. 18 Run Tokio command toy0.
18 '). 19 ').
20
21 :- display.
22
23 :- halt.