Mercurial > hg > Applications > Lite

annotate demo.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 e1d3145cff7a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
19
e1d3145cff7a *** empty log message ***
kono
parents: 2
diff changeset
1 % :-ensure_loaded('../tableau/liter').
e1d3145cff7a *** empty log message ***
kono
parents: 2
diff changeset
2 :-ensure_loaded(lite).
2
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
3 % :-ensure_loaded('../Tokio/initm').
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
4 % :-fcompile(lite:disp).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
5 :-ensure_loaded(lite:disp).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
6
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
7 % :-com([bou,gi],'tmp.out').
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
8 % :-prolog_flag(single_var_warnings, _, off).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
9
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
10 % :-com([bou],'tmp.out').
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
11
19
e1d3145cff7a *** empty log message ***
kono
parents: 2
diff changeset
12 a :-write('To do demonstration,
2
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
13 Start Lite verifier
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
14 ?- display.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
15 Load file gi?.lite.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
16 Verify it.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
17 Generate it.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
18 Run Tokio command toy0.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
19 ').
19
e1d3145cff7a *** empty log message ***
kono
parents: 2
diff changeset
20
e1d3145cff7a *** empty log message ***
kono
parents: 2
diff changeset
21 :- display.
e1d3145cff7a *** empty log message ***
kono
parents: 2
diff changeset
22
e1d3145cff7a *** empty log message ***
kono
parents: 2
diff changeset
23 :- halt.