comparison iall @ 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@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'.