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

make sure goal_expansion is never seen as an undefined goal. It should at least always succeed.

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-11-23 10:01:55 +00:00
parent a132707746
commit d91bab4247
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pl/boot.yap
View File

@ -899,6 +899,8 @@ not(G) :- \+ '$execute'(G).
'$check_callable'(_,_). '$check_callable'(_,_).
% Called by the abstract machine, if no clauses exist for a predicate % Called by the abstract machine, if no clauses exist for a predicate
'$undefp'([M|expand_goal(G,GEx)]) :- !,
G = GEx.
'$undefp'([M|G]) :- '$undefp'([M|G]) :-
% make sure we do not loop on undefined predicates % make sure we do not loop on undefined predicates
% for undefined_predicates. % for undefined_predicates.