Можно ли определить список, который состоит из предикатов и как я могу вызвать предикаты.

Кроме того, возможно ли передать один предикат другому предикату (как проходящие атомы)?

Пример:

<code>pre1:- something.
pre2(Predicate1, List):-
    call(Predicate1),
    append([Predicate1], List, R),
    .....
</code>