इसका टेक्स्ट मैसेज भेजे: Bridging max graph neural networks and datalog with negation