handle case where system:goal_expansion/2 is undefined.
This commit is contained in:
parent
82f3af4f23
commit
cd028bbd3f
@ -327,6 +327,7 @@ expand_goal(G, G).
|
|||||||
true
|
true
|
||||||
;
|
;
|
||||||
recorded('$dialect',swi,_),
|
recorded('$dialect',swi,_),
|
||||||
|
'$pred_exists'(goal_expansion(G,GI), system),
|
||||||
system:goal_expansion(G, GI)
|
system:goal_expansion(G, GI)
|
||||||
->
|
->
|
||||||
true
|
true
|
||||||
|
Reference in New Issue
Block a user