diff cp.pl @ 0:cfb7c6b24319

Initial revision
author kono
date Thu, 30 Aug 2007 14:57:44 +0900
parents
children 61743469ee56
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cp.pl	Thu Aug 30 14:57:44 2007 +0900
@@ -0,0 +1,37 @@
+ 
+
+
+
+
+
+
+
+compile0(F) :-
+    prolog_flag(single_var_warnings,_),!,
+    prolog_flag(single_var_warnings,X,off),
+    prolog_flag(discontiguous_warnings,Y,off),
+    compile(F),
+    prolog_flag(single_var_warnings,_,X),
+    prolog_flag(discontiguous_warnings,_,Y).
+compile0(F) :-
+    style_check(-singleton),!,
+    style_check(-discontiguous),!,
+    compile(F),
+    style_check(+discontiguous),
+    style_check(+singleton).
+compile0(F) :-
+    compile(F).
+ 
+
+
+
+
+
+
+
+copy(X,Y) :- copy_term(X,Y).
+
+
+ 
+nofileerrors. 
+ttynl :- nl,flush.