Mercurial > hg > Applications > Lite

annotate demo.pl @ 4:029b5a5ac494

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Fri, 19 Jan 2001 02:03:27 +0900
parents 1c57a78f1d98
children e1d3145cff7a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
1 :-ensure_loaded('../tableau/liter').
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
2 % :-ensure_loaded('../Tokio/initm').
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
3 % :-fcompile(lite:disp).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
4 :-ensure_loaded(lite:disp).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
5
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
6 % :-com([bou,gi],'tmp.out').
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
7 % :-prolog_flag(single_var_warnings, _, off).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
8
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
9 % :-com([bou],'tmp.out').
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
10
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
11 :-write('To do demonstration,
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
12 Start Lite verifier
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
13 ?- display.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
14 Load file gi?.lite.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
15 Verify it.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
16 Generate it.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
17 Run Tokio command toy0.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
18 ').