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

add predicate indicator sequences to loader:add_predicate_declaration (#1586)

Browse Source
This commit is contained in:
Mark
2023-09-26 11:21:47 -06:00
parent 280ff8b5d0
commit e8334f9b67
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/loader.pl
View File

@@ -393,6 +393,9 @@ add_predicate_declaration(Handler, Module:Name/Arity) :-
call(Handler, Module, Name, Arity). call(Handler, Module, Name, Arity).
add_predicate_declaration(Handler, [PI|PIs]) :- add_predicate_declaration(Handler, [PI|PIs]) :-
maplist(loader:add_predicate_declaration(Handler), [PI|PIs]). maplist(loader:add_predicate_declaration(Handler), [PI|PIs]).
add_predicate_declaration(Handler, (PI, PIs)) :-
add_predicate_declaration(Handler, PI),
add_predicate_declaration(Handler, PIs).
add_dynamic_predicate(Evacuable, Module, Name, Arity) :- add_dynamic_predicate(Evacuable, Module, Name, Arity) :-
'$add_dynamic_predicate'(Module, Name, Arity, Evacuable). '$add_dynamic_predicate'(Module, Name, Arity, Evacuable).