a[b->1].
a[b->2].
a[b->3].
a[b->4].
a[b->5].

q(1). q(3). q(5).

?- \one.

// Queries:
//     delete{a[b->?Y] | q(?Y)}.
//     a[b->?Y].


// Then do:
//     deleteall{a[b->?Y] | q(?Y)}.
//     a[b->?Y].