I guess it can be done with function and its parameter(let's call it FuncKB)being the basic KB. Then after it answers, then FuncKB = FuncKB - kb.answer(I don't know how snippet for the query answer is called)