view initm @ 22:29cf617f49db default tip

newer CVS version
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 22 Apr 2016 16:47:13 +0900
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