{SLDNFA: An Abductive Procedure for Abductive Logic Programs}