Mercurial > hg > Applications > Lite
view demo.pl @ 19:e1d3145cff7a lite-verifier
*** empty log message ***
author | kono |
---|---|
date | Thu, 30 Aug 2007 12:44:35 +0900 |
parents | 1c57a78f1d98 |
children |
line wrap: on
line source
% :-ensure_loaded('../tableau/liter'). :-ensure_loaded(lite). % :-ensure_loaded('../Tokio/initm'). % :-fcompile(lite:disp). :-ensure_loaded(lite:disp). % :-com([bou,gi],'tmp.out'). % :-prolog_flag(single_var_warnings, _, off). % :-com([bou],'tmp.out'). a :-write('To do demonstration, Start Lite verifier ?- display. Load file gi?.lite. Verify it. Generate it. Run Tokio command toy0. '). :- display. :- halt.