Fix current_predicate/1 predicate error checking

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 334deb66cd744934ddd6aaa8233d9c5952bfffde..616a2b0d25fe631d744bf6fe4e57fa6dc9ba26e5 100644 (file)
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1083,8 +1083,17 @@ abolish(Pred) :-
 
 
 current_predicate(Pred) :-
-    (  nonvar(Pred), Pred \= _ / _
-    -> throw(error(type_error(predicate_indicator, Pred), current_predicate/1))
+    (  var(Pred) ->
+       '$get_next_db_ref'(Ref, _),
+       '$iterate_db_refs'(Ref, Pred)
+    ;  Pred \= _/_ ->
+       throw(error(type_error(predicate_indicator, Pred), current_predicate/1))
+    ;  Pred = Name/Arity,
+       (  nonvar(Name), \+ atom(Name)
+       ;  nonvar(Arity), \+ integer(Arity)
+       ;  integer(Arity), Arity < 0
+       ) ->
+       throw(error(type_error(predicate_indicator, Pred), current_predicate/1))
     ;  '$get_next_db_ref'(Ref, _),
        '$iterate_db_refs'(Ref, Pred)
     ).