A Top Down Proof Procedure for Default Logic by Using Abduction