Mercurial > hg > Applications > Lite
view demo.pl @ 2:1c57a78f1d98
Initial revision
author | kono |
---|---|
date | Thu, 18 Jan 2001 23:27:24 +0900 |
parents | |
children | e1d3145cff7a |
line wrap: on
line source
:-ensure_loaded('../tableau/liter'). % :-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'). :-write('To do demonstration, Start Lite verifier ?- display. Load file gi?.lite. Verify it. Generate it. Run Tokio command toy0. ').