Runtime Addition of Integrity Constraints in Abductive Logic Programs