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