view tk/demo.pl @ 15:816425e04ea7

fix true - omega interval satisfiability
author kono
date Sat, 20 Jan 2001 21:21:44 +0900
parents 1c57a78f1d98
children
line wrap: on
line source

% :-ensure_loaded('../../Lite/lite').
% :-ensure_loaded('../../Tokio/initm').
% :-module(lite).

% :-ensure_loaded('../../Tokio/initm').
:-use_module('../lite').
:-ensure_loaded(lite:disp).

% display :- lite:display.

% :-com([bou,gi],'tmp.out').