|
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 assert(dynamic(X)).
|
|
|
10
|
|
|
11 ?- nl,consult('ts.pl'),
|
|
|
12 consult('to.pl'),
|
|
|
13 consult('tc.pl'),
|
|
|
14 consult('th.pl'),
|
|
|
15 consult('td.pl'),
|
|
|
16 consult('te.pl'),
|
|
|
17 consult('tg.pl'),
|
|
|
18 consult('tr.pl'),
|
|
|
19 consult('tu.pl'),
|
|
|
20 consult('tf.pl'),
|
|
|
21 consult('xf.pl'),
|
|
|
22 consult('tp.pl'),
|
|
|
23 consult('cp.pl').
|
|
|
24 ?- ['ts.pl'], com('tm.pl', '/dev/null').
|
|
|
25 % ?- save((tokio)), 'r_header'.
|
|
|
26 ?- 'r_header'.
|
