Datalog & AI Basic idea Datalog help LLM Prompt Engineering, to achieve explainability of AI Use datomic/datascript or cozodb , racket/datalog Hippocampus for AI, with Embedded Datalog Embedding datalog knowledge into LLM enhances LLM's logical reasoning capabilities