2
|
1 % Sat May 22 11:43:11 JST 1993
|
|
2
|
|
3 :- use_module(library(gmlib)).
|
|
4
|
|
5 ?-op(900,xfy,[(&),('&&')]).
|
|
6 ?-op(700,xfy,['<->','\=',proj]).
|
|
7 ?-op(60,fy,['~','#','<>', '@',^]).
|
|
8 ?-op(60,fy,[*]).
|
|
9
|
|
10 :-
|
|
11 unix(system('make tmpa M=lite:')),
|
|
12 ['.tmpc'],
|
|
13 unix(system('make display M=lite:')),
|
|
14 ['.tmpc'].
|
|
15
|
|
16 make :- unix(system('make M=lite:')),consult(lite:['.tmpc','.tmpl']).
|
|
17
|
|
18 :- use_module(lite).
|
|
19 :- load(lite:[ex,kiss_ex,display]).
|
|
20
|
|
21 % :-start.
|
|
22 % :-display.
|
|
23 % display(Host) :- start(Host),display.
|
|
24
|
|
25 % end
|