% Sat May 22 11:43:11 JST 1993

:- use_module(library(gmlib)).

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

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

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

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

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

% end