Building a proof tree / collecting clauses in a refutation sequence

[EricGT]

I don’t know if this is what you seek but better to have seen it and judge for yourself than to not have seen it.

Logic Programming for Theory Representation and Scientific Inference in Psychology