Modular logic argumentation in Arg-tuProlog