p(a).
p(b).

?- insert{r(?X) | p(?X)}, !.
?- insertall{q(?X) | p(?X)}, !.

//     r(?X).
//     q(?X).