From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 21 Jan 2022 06:46:03 +0000 (-0700)
Subject: recognize []/N as callable (#1241, #989)
X-Git-Tag: v0.9.0^2~43
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5ff579f79328d0ed29257370b22e9b2d28ad758c;p=scryer-prolog.git

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

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)