Mercurial > hg > Applications > Lite
view demo.pl @ 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 | e1d3145cff7a |
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.