comparison demoim @ 2:1c57a78f1d98

Initial revision
author kono
date Thu, 18 Jan 2001 23:27:24 +0900
parents
children
comparison
equal deleted inserted replaced
1:683efd6f9a81 2:1c57a78f1d98
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