|
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@mtl.u-tokyo.ac.jp
|
|
|
8 */
|
|
|
9 ?- nl,load('ts.ql'),
|
|
|
10 load('to.ql'),
|
|
|
11 load('tc.ql'),
|
|
|
12 load('th.ql'),
|
|
|
13 load('td.ql'),
|
|
|
14 load('te.ql'),
|
|
|
15 load('tg.ql'),
|
|
|
16 load('tr.ql'),
|
|
|
17 load('tu.ql'),
|
|
|
18 load('tf.ql'),
|
|
|
19 load('xf.ql'),
|
|
|
20 load('cp.ql'),
|
|
|
21 load('tp.ql').
|
|
|
22 ?- [ts], com('tm.pl', '/dev/null').
|
|
|
23 % ?- gc, ttyflush, save((tokio)), 'r_header', (tokio).
|
|
|
24 end_of_file.
|
