annotate tokio.pl @ 0:cfb7c6b24319

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