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