view initm @ 21:8fb7b6f55b7e

update tags
author convert-repo
date Fri, 07 Nov 2008 20:36:40 +0000
parents f2aa38ce0787
children
line wrap: on
line source


% 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