rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Mark Thom
2022-01-20 23:46:03 -07:00
parent 8df346f377
commit 5ff579f793
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/loader.pl
View File

@@ -578,15 +578,13 @@ predicate_property(Callable, Property) :-
atom(Module), atom(Module),
nonvar(Callable0) -> nonvar(Callable0) ->
functor(Callable0, Name, Arity), functor(Callable0, Name, Arity),
( atom(Name), ( atom(Name) ->
Name \== [] ->
extract_predicate_property(Property, PropertyType), extract_predicate_property(Property, PropertyType),
check_predicate_property(PropertyType, Module, Name, Arity, Property) check_predicate_property(PropertyType, Module, Name, Arity, Property)
; type_error(callable, Callable0, predicate_property/2) ; type_error(callable, Callable0, predicate_property/2)
) )
; functor(Callable, Name, Arity), ; functor(Callable, Name, Arity),
( atom(Name), ( atom(Name) ->
Name \== [] ->
extract_predicate_property(Property, PropertyType), extract_predicate_property(Property, PropertyType),
load_context(Module), load_context(Module),
check_predicate_property(PropertyType, Module, Name, Arity, Property) check_predicate_property(PropertyType, Module, Name, Arity, Property)