fix to slow reconsult (Jos Deroo)
This commit is contained in:
parent
56d37591a5
commit
218bc2e423
14
pl/boot.yap
14
pl/boot.yap
@ -436,12 +436,14 @@ true :- true.
|
||||
'$do_error'(permission_error(modify, static_procedure, NM:N/Ar), consult).
|
||||
'$not_imported'(_, _).
|
||||
|
||||
'$check_if_reconsulted'(N,A) :-
|
||||
recorded('$reconsulted',X,_),
|
||||
( X = N/A , !;
|
||||
X = '$', !, fail;
|
||||
fail
|
||||
).
|
||||
|
||||
'$check_if_reconsulted'(N,A) :-
|
||||
once(recorded('$reconsulted',N/A,_)),
|
||||
recorded('$reconsulted',X,_),
|
||||
( X = N/A , !;
|
||||
X = '$', !, fail;
|
||||
fail
|
||||
).
|
||||
|
||||
'$inform_as_reconsulted'(N,A) :-
|
||||
recorda('$reconsulted',N/A,_).
|
||||
|
Reference in New Issue
Block a user