ENHANCED: explain/1 to enumerate all instances of a non-qualified pre…

…dicate.
SWI-Prolog · Nov 4, 2024 · 4ca7e8c · 4ca7e8c
1 parent 3b4f9c1
commit 4ca7e8c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/library/explain.pl b/library/explain.pl
@@ -185,8 +185,7 @@
     (   predicate_property(M2:Head, imported_from(M))
     ->  true
     ;   M = M2
-    ),
-    !.
+    ).
 known_predicate(Pred) :-
     predicate_property(Pred, undefined).
 known_predicate(_:Head) :-