Find occurrence of predicate anywhere it exists in a nested, compound object?

Help!
7

(This is better code … no need for convlist/2).

find_in_term(FunctorName, Within, FoundArgs) :-
    Within =.. [FunctorName|FoundArgs].
find_in_term(FunctorName, Within, FoundArgs) :-
    Within =.. [_|WithinArgs],
    member(WithinArg, WithinArgs),
    find_in_term(FunctorName, WithinArg, FoundArgs).

The code can also be refactored to avoid doing =../2 twice, if the tiny bit of speed-up is important.

3 Likes