--- a/cp.pl.c	Thu Aug 30 14:57:44 2007 +0900
+++ b/cp.pl.c	Fri Aug 31 23:33:02 2007 +0900
@@ -86,7 +86,7 @@
 ttynl :- nl,flush.
 #endif
 
-#if defined(SICSTUS) || defined(SWIPROLOG)
+#if defined(SICSTUS) || defined(SICSTUSV4) || defined(SWIPROLOG)
 compile0(F) :- 
     prolog_flag(single_var_warnings,_),!,
     prolog_flag(single_var_warnings,X,off),
@@ -127,4 +127,30 @@
 
 #endif
  
+r_abolish(A,B) :- functor(C,A,B),retractall(C).
+
+#if defined(SICSTUSV4)
+
+
+put([C]) :- !, char_code(Char,C),put_char(Char).
+put(C) :- char_code(Char,C),put_char(Char).
+
+ttyflush :- flush_output.
+
+nofileerrors.
+
+tab(0) :-!.
+tab(N) :- N>0, N1 is N-1,write(' '),tab(N1).
+
+#else 
+
+append([],X,X).
+append([H|X],Y,[H|Z]) :- append(X,Y,Z).
+
+member(H,[H|_]) :-!.
+member(H,[_|T]) :- member(H,T).
+
+
+#endif
+
 /* end  */