diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix call to $reconsult/2

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@948 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2003-12-04 18:12:26 +00:00
parent 1516c032e9
commit 945adacdd5
1 changed files with 17 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
pl/preds.yap
View File

@ -185,8 +185,8 @@ assertz_static(C) :-
( get_value('$abol',true) ( get_value('$abol',true)
-> ->
'$flags'(Head,Mod,Fl,Fl), '$flags'(Head,Mod,Fl,Fl),
( Fl /\ 16'400000 =\= 0 -> '$erase_source'(Head,Mod) ; true ), ( Fl /\ 0x00400000 =\= 0 -> '$erase_source'(Head,Mod) ; true ),
( Fl /\ 16'040000 =\= 0 -> '$check_multifile_pred'(Head,Mod,Fl) ; true ) ( Fl /\ 0x20000000 =\= 0 -> '$check_multifile_pred'(Head,Mod,Fl) ; true )
; ;
true true
), ),
@ -204,8 +204,8 @@ assertz_static(C) :-
( get_value('$abol',true) ( get_value('$abol',true)
-> ->
'$flags'(Head,Mod,Fl,Fl), '$flags'(Head,Mod,Fl,Fl),
( Fl /\ 16'400000 =\= 0 -> '$erase_source'(Head,Mod) ; true ), ( Fl /\ 0x00400000 =\= 0 -> '$erase_source'(Head,Mod) ; true ),
( Fl /\ 16'040000 =\= 0 -> '$check_multifile_pred'(Head,Mod,Fl) ; true ) ( Fl /\ 0x20000000 =\= 0 -> '$check_multifile_pred'(Head,Mod,Fl) ; true )
; ;
true true
), ),
@ -687,10 +687,11 @@ dynamic(X) :-
'$logical_updatable'(X, Mod). '$logical_updatable'(X, Mod).
'$dynamic2'(A/N, Mod) :- integer(N), atom(A), !, '$dynamic2'(A/N, Mod) :- integer(N), atom(A), !,
functor(T,A,N), '$flags'(T,Mod,F,F), functor(T,A,N), '$flags'(T,Mod,F,F),
( F/\16'9bc88 =:= 0 -> NF is F \/ 16'2000, '$flags'(T, Mod, F, NF); % LogUpd,BinaryTest,Safe,C,Dynamic,Compiled,Standard,Asm,
'$is_dynamic'(T,Mod) -> true; ( F/\ 0x19D1FA80 =:= 0 -> NF is F \/ 0x00002000, '$flags'(T, Mod, F, NF);
F /\ 16'400 =:= 16'400, '$undefined'(T,Mod) -> F1 is F /\ \(0x600), NF is F1 \/ 16'2000, '$flags'(T,Mod,F,NF); F /\ 0x00002000 =:= 0x00002000 -> true; % dynamic
F/\16'8 =:= 16'8 -> true ; F /\ 0x08000000 =:= 0x08000000 -> true ; % LU
F /\ 0x00000400 =:= 0x00000400, '$undefined'(T,Mod) -> F1 is F /\ \(0x400), N1F is F1 \/ 0x00002000, NF is N1F /\ \(0x00420000), '$flags'(T,Mod,F,NF);
'$do_error'(permission_error(modify,static_procedure,A/N),dynamic(Mod:A/N)) '$do_error'(permission_error(modify,static_procedure,A/N),dynamic(Mod:A/N))
). ).
'$dynamic2'(X,Mod) :- '$dynamic2'(X,Mod) :-
@ -699,10 +700,11 @@ dynamic(X) :-
'$logical_updatable'(A/N,Mod) :- integer(N), atom(A), !, '$logical_updatable'(A/N,Mod) :- integer(N), atom(A), !,
functor(T,A,N), '$flags'(T,Mod,F,F), functor(T,A,N), '$flags'(T,Mod,F,F),
( F/\16'9bc88 =:= 0 -> NF is F \/ 16'408, '$flags'(T,Mod,F,NF); (
'$is_dynamic'(T,Mod) -> true; F/\ 0x19D1FA80 =:= 0 -> NF is F \/ 0x08000400, '$flags'(T,Mod,F,NF);
F /\ 16'400 =:= 16'400 , '$undefined'(T,Mod) -> NF is F \/ 0x8, '$flags'(T,Mod,F,NF); F /\ 0x08000000 =:= 0x08000000 -> true ; % LU
F /\ 16'8=:= 16'8 -> true ; F /\ 0x00002000 =:= 0x00002000 -> true; % dynamic
F /\ 0x00000400 =:= 0x00000400 , '$undefined'(T,Mod) -> N1F is F \/ 0x08000000, NF is N1F /\ \(0x00420000), '$flags'(T,Mod,F,NF);
'$do_error'(permission_error(modify,static_procedure,A/N),dynamic(Mod:A/N)) '$do_error'(permission_error(modify,static_procedure,A/N),dynamic(Mod:A/N))
). ).
'$logical_updatable'(X,Mod) :- '$logical_updatable'(X,Mod) :-
@ -751,14 +753,14 @@ dynamic_predicate(P,Sem) :-
'$is_dynamic'(T, Mod), !. % all dynamic predicates are public. '$is_dynamic'(T, Mod), !. % all dynamic predicates are public.
'$do_make_public'(T, Mod) :- '$do_make_public'(T, Mod) :-
'$flags'(T,Mod,F,F), '$flags'(T,Mod,F,F),
NF is F\/16'400000, NF is F\/0x00400000,
'$flags'(T,Mod,F,NF). '$flags'(T,Mod,F,NF).
'$is_public'(T, Mod) :- '$is_public'(T, Mod) :-
'$is_dynamic'(T, Mod), !. % all dynamic predicates are public. '$is_dynamic'(T, Mod), !. % all dynamic predicates are public.
'$is_public'(T, Mod) :- '$is_public'(T, Mod) :-
'$flags'(T,Mod,F,F), '$flags'(T,Mod,F,F),
F\/16'400000 \== 0. F\/0x00400000 \== 0.
hide_predicate(V) :- var(V), !, hide_predicate(V) :- var(V), !,
'$do_error'(instantiation_error,hide_predicate(V)). '$do_error'(instantiation_error,hide_predicate(V)).
@ -776,11 +778,6 @@ hide_predicate(P) :-
'$hide_predicate2'(PredDesc, M) :- '$hide_predicate2'(PredDesc, M) :-
'$do_error'(type_error(predicate_indicator,T),hide_predicate(M:PredDesc)). '$do_error'(type_error(predicate_indicator,T),hide_predicate(M:PredDesc)).
'$make_pred_push_mod'(P) :-
'$flags'(P,prolog,F,F),
NF is F \/ 0x8200000,
'$flags'(P,prolog,F,NF).
predicate_property(Mod:Pred,Prop) :- !, predicate_property(Mod:Pred,Prop) :- !,
'$predicate_property2'(Pred,Prop,Mod). '$predicate_property2'(Pred,Prop,Mod).
predicate_property(Pred,Prop) :- predicate_property(Pred,Prop) :-
@ -812,7 +809,7 @@ predicate_property(Pred,Prop) :-
'$system_predicate'(P,M), !. '$system_predicate'(P,M), !.
'$predicate_property'(P,M,_,source) :- '$predicate_property'(P,M,_,source) :-
'$flags'(G,M,F,F), '$flags'(G,M,F,F),
( F /\ 16'400000 =\= 0 -> true ; false). ( F /\ 0x00400000 =\= 0 -> true ; false).
'$predicate_property'(P,M,_,dynamic) :- '$predicate_property'(P,M,_,dynamic) :-
'$is_dynamic'(P,M). '$is_dynamic'(P,M).
'$predicate_property'(P,M,_,static) :- '$predicate_property'(P,M,_,static) :-
@ -854,9 +851,3 @@ predicate_statistics(P,NCls,Sz,ISz) :-
'$predicate_statistics'(P,M,NCls,Sz,ISz) :- '$predicate_statistics'(P,M,NCls,Sz,ISz) :-
'$static_pred_statistics'(P,M,NCls,Sz,ISz). '$static_pred_statistics'(P,M,NCls,Sz,ISz).
:- '$make_pred_push_mod'((_,_)).
:- '$make_pred_push_mod'((_;_)).
:- '$make_pred_push_mod'((_|_)).
:- '$make_pred_push_mod'((_->_)).
:- '$make_pred_push_mod'((\+_)).