أرسل هذا في رسالة قصيرة: On the correspondence between monotonic max-sum GNNs and datalog