Si se incluyen predicados con dos o más argumentos, no es decidible.