9p(X) :-
   10    call(X).
   11
   12q(1).
   13q(2).
   14
   15?- p(q(X)).   16?- not p(q(X)).
   17
   18?- not q(X).
   19?- q(X).   20
   21
   22call_list([]).
   23call_list([X|Xs]) :-
   24    call(X),
   25    call_list(Xs).
   26
   27?- call_list([q(X),not