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

diff --git a/src/loader.pl b/src/loader.pl
index cf72820efdd54f0d2802db623ef6912f75fd3b30..da37c17c81d0250d7346d3d2da1b71b761440dfe 100644 (file)
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -393,6 +393,9 @@ add_predicate_declaration(Handler, Module:Name/Arity) :-
     call(Handler, Module, Name, Arity).
 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'(Module, Name, Arity, Evacuable).