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