Joint tabling of logic program abductions and updates