Enviar por SMS: Enhancing datalog reasoning with hypertree decompositions