comparison mall @ 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, 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