{"type": "article", "title": "Lean4 Datalog DSL: Building Knowledge Bases from Scratch", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/lean4-datalog-dsl-building-knowledge-bases-from-scratch", "original_source": "https://promptcube3.com/en/news/4194/", "published": "2026-07-29T04:42:37+00:00", "accessed": "2026-07-29", "id": "lean4-datalog-dsl-building-knowledge-bases-from-scratch"}