comparison cp.pl @ 0:cfb7c6b24319

Initial revision
author kono
date Thu, 30 Aug 2007 14:57:44 +0900
parents
children 61743469ee56
comparison
equal deleted inserted replaced
-1:000000000000 0:cfb7c6b24319
1
2
3
4
5
6
7
8
9 compile0(F) :-
10 prolog_flag(single_var_warnings,_),!,
11 prolog_flag(single_var_warnings,X,off),
12 prolog_flag(discontiguous_warnings,Y,off),
13 compile(F),
14 prolog_flag(single_var_warnings,_,X),
15 prolog_flag(discontiguous_warnings,_,Y).
16 compile0(F) :-
17 style_check(-singleton),!,
18 style_check(-discontiguous),!,
19 compile(F),
20 style_check(+discontiguous),
21 style_check(+singleton).
22 compile0(F) :-
23 compile(F).
24
25
26
27
28
29
30
31
32 copy(X,Y) :- copy_term(X,Y).
33
34
35
36 nofileerrors.
37 ttynl :- nl,flush.