% Sat May 22 11:43:11 JST 1993

% ?-op(900,xfy,[(&),('&&')]).
% ?-op(700,xfy,['<->','\=',proj]).
% ?-op(700,xfy,['=>','<=']).
% ?-op(60,fy,['~','#','<>', '@',^]).
% ?-op(60,fy,[*]).

:-lite:[op].

:-
  unix(system('make tmpa M=lite:')),
  ['.tmpc'].

make :- unix(system('make tmpa M=lite:')),
   consult(lite:['.tmpc','.tmpl']).

:- use_module(lite).
:- ensure_loaded(lite:[ex,kiss_ex]).

% :-start.
% :-display.
% display(Host) :- start(Host),display.

% end