% 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)). unix(system(X)) :- system(X). :-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