From e8334f9b67505baea12ac8482bbaf9ac9dc8dee3 Mon Sep 17 00:00:00 2001 From: Mark Date: Tue, 26 Sep 2023 11:21:47 -0600 Subject: [PATCH] add predicate indicator sequences to loader:add_predicate_declaration (#1586) --- src/loader.pl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/loader.pl b/src/loader.pl index cf72820ef..da37c17c8 100644 --- a/src/loader.pl +++ b/src/loader.pl @@ -393,6 +393,9 @@ 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).