Explainability through argumentation in logic programming