?X[insert] :- insert{?X}. // Queries // ${p(a)}[insert]. // p(a). // delete{p(a)}. // p(a). // ${p(a)}[insert]. // p(a). // To block the dependency warning in this case, use // :- ignore_depchk{insert{?}}.