Enviar aquest missatge de text: Bridging max graph neural networks and datalog with negation