protect against mal-formed calls
This commit is contained in:
parent
29ffb152e5
commit
2d20db7e6d
@ -838,6 +838,7 @@ expand_goal(G, G).
|
|||||||
'$continue_imported'(ExportingMod, ExportingModI, G0, G0I).
|
'$continue_imported'(ExportingMod, ExportingModI, G0, G0I).
|
||||||
% SWI builtin
|
% SWI builtin
|
||||||
'$get_undefined_pred'(G, _ImportingMod, G, user) :-
|
'$get_undefined_pred'(G, _ImportingMod, G, user) :-
|
||||||
|
nonvar(G),
|
||||||
'$pred_exists'(G, user), !.
|
'$pred_exists'(G, user), !.
|
||||||
'$get_undefined_pred'(G, _ImportingMod, G0, ExportingMod) :-
|
'$get_undefined_pred'(G, _ImportingMod, G0, ExportingMod) :-
|
||||||
recorded('$dialect',Dialect,_),
|
recorded('$dialect',Dialect,_),
|
||||||
|
Reference in New Issue
Block a user