Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification