--- a/tr.pl	Thu Aug 30 14:57:44 2007 +0900
+++ b/tr.pl	Fri Aug 31 23:33:02 2007 +0900
@@ -27,9 +27,9 @@
 :-dynamic(r_skip/1).
 
 r_header :-
- write('
- Tokio to prolog compiler $Revision$ $Date$
-           try ?- tokio_help.
+ write('\
+ Tokio to prolog compiler $Revision$ $Date$\
+           try ?- tokio_help.\
   ').
 
 user_help :- tokio_help.
@@ -276,7 +276,7 @@
 
 init_static :- recorded(r_static,Name,_),recorded(Name,_,Ref),
 	erase(Ref),fail.
-init_static :- abolish(r_skip,1),
+init_static :- r_abolish(r_skip,1),
 	assert(r_skip(-1)).
 
 reset_static :- recorded(r_static,Name,Iref),recorded(Name,_,Ref),
@@ -312,11 +312,11 @@
 % A \= A :-!,fail.
 % _ \= _.
 
-append([],X,X).
-append([H|X],Y,[H|Z]) :- append(X,Y,Z).
+% append([],X,X).
+% append([H|X],Y,[H|Z]) :- append(X,Y,Z).
 
-member(H,[H|_]) :-!.
-member(H,[_|T]) :- member(H,T).
+% member(H,[H|_]) :-!.
+% member(H,[_|T]) :- member(H,T).
 
 /* for ttyflush  */