Lean4 Datalog DSL Based on Google Zanzibar for AI