annotate init @ 10:f2aa38ce0787

add state display.
author kono
date Fri, 19 Jan 2001 23:14:00 +0900
parents 1c57a78f1d98
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
1 %?-op(900,xfy,[(&),('&&')]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
2 %?-op(700,xfy,['<->','\=',proj]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
3 %?-op(600,xfy,['=>','<=']).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
4 %?-op(60,fy,['~','#','<>', '@',^]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
5 %?-op(60,fy,[*]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
6 %?-op(1200,fy,[dynamic]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
7
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
8 :-[op].
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
9 make :- unix(system('make tmpa')),['.tmpc','.tmpl'].
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
10 ?- unix(system('make tmpa')),['.tmpc','.tmpa'] ;
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
11
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
12 ['ndcomp.pl','bdtstd.pl','chop.pl','diag.pl','ex.pl','cp.pl'].
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
13
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
14