Did you know ... Search Documentation:
Predicate list_undefined/0
Availability::- use_module(library(check)).(can be autoloaded)
Source[det]list_undefined
[det]list_undefined(+Options)
Report undefined predicates. This predicate finds undefined predicates by decompiling and analyzing the body of all clauses. Options:
module_class(+Classes)
Process modules of the given Classes. The default for classes is [user]. For example, to include the libraries into the examination, use [user,library].
See also
- gxref/0 provides a graphical cross-referencer.
- make/0 calls list_undefined/0
Tags are associated to your profile if you are logged in
Tags:
LogicalCaptain said (2021-02-04T10:24:11):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

This predicate (correctly) does not complain for cases like these:

What is inside maplist/3 on argument position 1 looks like a call to a one-argument predicate prefix/1, but is really a call to a 3-argument predicate prefix/3 as the call is augmented with an element from each of the lists ListIn and ListOut at runtime. And prefix/3 exists. Good.

test(Const,ListIn,ListOut) :-
   maplist(prefix(Const),ListIn,ListOut).

prefix(Const,StringIn,StringOut) :-
   atomic_list_concat([Const,StringIn],StringOut).

If it does complain for your own meta-predicates, you probably have the wrong "number of additional arguments" in your meta_predicate/1 declaration.