Mercurial > hg > Applications > Tokio
comparison tokio.pl @ 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,2005, 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@ie.u-ryukyu.ac.jp | |
8 */ | |
9 :-module(tokio,[ | |
10 com/1, % compile & compile program. | |
11 com/2, % compile & counsult & save file. | |
12 pcom/2, % compile specified predicates. | |
13 pcom/3, % compile specified predicates. | |
14 mcom/1, % preprocess | |
15 mcom/2, % preprocess & outputfile. | |
16 static/1, % static variable declaration | |
17 restart/1, % run tokio save file. | |
18 tokiodebug/0, % All computation will be traced. | |
19 tokionodebug/0, % Debug mode is switched off. | |
20 tokiodebugging/0, % Display some informations about tracing. | |
21 notimebacktrack/0, % no time backtrack.. | |
22 timebacktrack/0, % time backtrack.. | |
23 (tokio)/0, % start tokio top-level. | |
24 (tokio)/1, % run tokio program. | |
25 tokio_help/0, % help | |
26 user_help/0, % help | |
27 reset_macro/0 % Reset Macro Definition. com predicates also reset Macros. | |
28 ]). | |
29 | |
30 :- ['ts'], | |
31 % ensure_loaded('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 :-[ts]. | |
50 | |
51 % :-module(user),['ts']. | |
52 % :-module(tokio),['ts'],module(user). | |
53 | |
54 % end |