% Sat May 22 11:43:11 JST 1993

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

:-use_module(library(system)).
:-lite:[op].

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

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

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

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

% end