On the Equivalence between Assumption-Based Argumentation and Logic Programming