recognize []/N as callable (#1241, #989)

diff --git a/src/loader.pl b/src/loader.pl
index f7b56e92e37c73395dcb591cce53ef7cd9bf17ba..c5228d1f4d4682c6d4650e737e3c44807d7c83e9 100644 (file)
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -578,15 +578,13 @@ predicate_property(Callable, Property) :-
        atom(Module),
        nonvar(Callable0) ->
        functor(Callable0, Name, Arity),
-       (  atom(Name),
-          Name \== [] ->
+       (  atom(Name) ->
           extract_predicate_property(Property, PropertyType),
           check_predicate_property(PropertyType, Module, Name, Arity, Property)
        ;  type_error(callable, Callable0, predicate_property/2)
        )
     ;  functor(Callable, Name, Arity),
-       (  atom(Name),
-          Name \== [] ->
+       (  atom(Name) ->
           extract_predicate_property(Property, PropertyType),
           load_context(Module),
           check_predicate_property(PropertyType, Module, Name, Arity, Property)