|
0
|
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
|
