Mercurial > hg > Applications > Lite

annotate demoim @ 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 1c57a78f1d98
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
1 % Sat May 22 11:43:11 JST 1993
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
2
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
3 :- use_module(library(gmlib)).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
4
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
5 ?-op(900,xfy,[(&),('&&')]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
6 ?-op(700,xfy,['<->','\=',proj]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
7 ?-op(60,fy,['~','#','<>', '@',^]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
8 ?-op(60,fy,[*]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
9
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
10 :-
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
11 unix(system('make tmpa M=lite:')),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
12 ['.tmpc'],
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
13 unix(system('make display M=lite:')),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
14 ['.tmpc'].
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
15
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
16 make :- unix(system('make M=lite:')),consult(lite:['.tmpc','.tmpl']).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
17
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
18 :- use_module(lite).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
19 :- load(lite:[ex,kiss_ex,display]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
20
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
21 % :-start.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
22 % :-display.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
23 % display(Host) :- start(Host),display.
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
24
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
25 % end