diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index 2e18d94f..9cb533d1 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -1214,6 +1214,9 @@ retract(Clause0) :- Body = true, retract_module_clause(Head, Body, Module) ; Clause = (Head :- Body) -> + ( var(Module) -> Module = user + ; true + ), retract_module_clause(Head, Body, Module) ).