diff --git a/src/loader.pl b/src/loader.pl index f7b56e92..c5228d1f 100644 --- 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)