Joint tabling of logic program abduction, updating, and  intervention