Mercurial > hg > Applications > Tokio
comparison mall @ 0:cfb7c6b24319
Initial revision
author | kono |
---|---|
date | Thu, 30 Aug 2007 14:57:44 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
-1:000000000000 | 0:cfb7c6b24319 |
---|---|
1 /* | |
2 Copyright (C) 1988, Shinji Kono | |
3 Everyone is permitted to copy and distribute verbatim copies | |
4 of this license, but changing it is not allowed. You can also | |
5 use this wording to make the terms for other programs. | |
6 | |
7 send your comments to kono@csl.sony.co.jp | |
8 */ | |
9 | |
10 :-module(tokio,[ | |
11 com/1, % compile & compile program. | |
12 com/2, % compile & counsult & save file. | |
13 pcom/2, % compile specified predicates. | |
14 pcom/3, % compile specified predicates. | |
15 mcom/1, % preprocess | |
16 mcom/2, % preprocess & outputfile. | |
17 static/1, % static variable declaration | |
18 restart/1, % run tokio save file. | |
19 tokiodebug/0, % All computation will be traced. | |
20 tokionodebug/0, % Debug mode is switched off. | |
21 tokiodebugging/0, % Display some informations about tracing. | |
22 notimebacktrack/0, % no time backtrack.. | |
23 timebacktrack/0, % time backtrack.. | |
24 tokio/0, % start tokio top-level. | |
25 tokio/1, % run tokio program. | |
26 tokio_help/0, % help | |
27 user_help/0, % help | |
28 reset_macro/1 % Reset Macro Definition. com predicates also reset Macros. | |
29 ]). | |
30 | |
31 ?- ['ts'], | |
32 ensure_loaded('to'), | |
33 ensure_loaded('tc'), | |
34 ensure_loaded('th'), | |
35 ensure_loaded('td'), | |
36 ensure_loaded('te'), | |
37 ensure_loaded('tg'), | |
38 ensure_loaded('tr'), | |
39 ensure_loaded('tu'), | |
40 ensure_loaded('tf'), | |
41 ensure_loaded('xf'), | |
42 ensure_loaded('cp'), | |
43 ensure_loaded('tp'). | |
44 | |
45 % :-prolog_flag(single_var_warnings, _, off), | |
46 % prolog_flag(compiling,_,compactcode). | |
47 | |
48 :-com('tm.pl',user). | |
49 | |
50 % end |