Is there a way of convincing PceEmacs that a predicate is used, when PceEmacs has decided otherwise?
PceEmacs flags unused predicates, and is pretty good at detecting partial application of predicates and flagging accordingly.
Of course this system isn’t perfect.
We might have smoething like:
is_thing(thing). test(L) :- atom_concat(is_, thing, F), maplist(F, L).
In this case
is_thing is flagged as unreferenced, although it is referenced dynamically.
I tried to satisfy the error checking with a little hack along the lines of:
reference(_). :- reference(is_thing). is_thing(thing).
But that doesn’t seem to work.