An Abductive Procedure for Reasoning about Actions in Modal Logic Programming