Update the abduction and friends examples, add the possibility to print only selected predicates.