r(1). r(2).
h(a). h(b).
q(12345).
%p(?X) :- q(?X).

// Query:
//    %p(?X).

// Then:
//    insertrule_a{ q(?X) :- r(?X) }.

// Query:
//    %p(?X).

// Then:
//    insertrule_z{ q(?X) :- h(?X) }.

// Query:
//     %p(?X).

// Then:
//    deleterule{ q(?_) :- ?B }, Tables[%abolish]@_sys.   // Why abolish tables?

// Query:
//     %p(?X).