Answering, and Computation -- Bunched Logic Programming -- A Top-Down Procedure for