diff --git a/pl/modules.yap b/pl/modules.yap index f3b2e9d78..2a860c448 100644 --- a/pl/modules.yap +++ b/pl/modules.yap @@ -327,6 +327,7 @@ expand_goal(G, G). true ; recorded('$dialect',swi,_), + '$pred_exists'(goal_expansion(G,GI), system), system:goal_expansion(G, GI) -> true