Skip to content
The Nexus
DossierENTITY

Datalog

Coverage of Datalog in the Nexus archive.

Earliest in view: Jun 12 · 00:45 UTCMost recent: Jul 29 · 02:22 UTC
Co-mentioned in this coverage
Google Zanzibarorganization1Lean4technology1AI projectstopic1Gittechnology1Hacker Newsorganization1Thesistopic1
Recent coverage
  • TECHNOLOGYJul 29 · 02:22 UTCHACKER NEWS
    Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

    A new domain-specific language (DSL) based on Google Zanzibar's datalog language has been developed for use with Lean4 and other languages. It enables constructing, storing, and evaluating knowledge bases for AI projects, with version control via Git and without relying on external infrastructure.

  • TECHNOLOGYJun 12 · 00:45 UTCHACKER NEWS
    Deconstructing Datalog

    The article 'Deconstructing Datalog' presents an analysis of the Datalog programming language, likely from the author's thesis. It is linked to a blog post and Hacker News comments, but no detailed content or conclusions are provided in the given text.

Datalog · Dossier · The Nexus