An abductive proof procedure for active databases and agents