#datalog — Public Fediverse posts

Prolog nezmizel. Jeho hlavní myšlenku dnes potkáváme v nástrojích, které se Prologu na první pohled nepodobají: v CodeQL pro analýzu kódu, v Rego pro policy-as-code, v Z3 pro práci s omezeními a v Leanu pro formální důkazy. Každý řeší jiný problém, ale všechny připomínají totéž: někdy je lepší popsat vztahy, pravidla, omezení nebo tvrzení než vrstvit další if.

Prolog nezmizel. Jeho hlavní myšlenku dnes potkáváme v nástrojích, které se Prologu na první pohled nepodobají: v CodeQL pro analýzu kódu, v Rego pro policy-as-code, v Z3 pro práci s omezeními a v Leanu pro formální důkazy. Každý řeší jiný problém, ale všechny připomínají totéž: někdy je lepší popsat vztahy, pravidla, omezení nebo tvrzení než vrstvit další if.

Optimizing Datalog for the GPU

https://dl.acm.org/doi/10.1145/3669940.3707274

#HackerNews #Optimizing #Datalog #for #the #GPU #GPU #Computing #Datalog #Optimization #Tech #News #ACM #Research

Как я построил Graph RAG систему с точностью 96.7% за 5 дней: от научных статей до production-ready пайплайна

Я реализовал Graph RAG систему, которая комбинирует 5 техник из свежих научных статей (KET-RAG, HippoRAG 2, VectorCypher) в единый пайплайн с декларативным Datalog reasoning-движком, полной провенансной трассировкой и типизированным API. Результат: 174/180 (96.7%) на билингвальном бенчмарке из 30 вопросов, оценённых в 6 режимах retrieval. Три режима достигли 100%. В статье — архитектура, 10 уроков оптимизации и эволюция от 38% до 96.7% за 10 итераций.

https://habr.com/ru/articles/1003064/

#GraphRAG #RAG #Neo4j #NLP #LLM #Python #Datalog #Knowledge_Graph #embeddings #PageRank

I feel tempted to write a toy(ish) #Datalog database similar to Datomic in #OCaml, just to understand how that type of DBs work, and to learn how to optimize Datalog queries. Maybe not the most efficient way to learn, but I think it's most fun.

duuuude....

https://github.com/danja/dogalog

I might need to install npm.

#datalog #music

Even though I mostly use #Datalog databases these days (mostly #Datomic), many #PostgreSQL tidbits make me (unreasonably?) happy. Like this one: “Aggregate first - join later”

https://www.cybertec-postgresql.com/en/super-fast-aggregations-in-postgresql-19/

Recursion in #Draupnir is getting closer, making it very nearly a proper #Datalog compiler. What would normally be a simple task is becoming considerably harder due to the need to support general monoid bases for the relations (which we want for cleaner aggregates than Souffle), as well as the need to handle batch scheduling to support disk.

The main challenge so far has been coming up with an execution plan that safely batches each iteration, while playing nicely with our push+pull scheduler, and simultaneously making sure that it maintains the correct arity of each tuple. Not hard... but very finicky.

We've come up with a pretty clean set of extensions to our logical pipeline DAG that seem like they elegantly capture recursion, and compiling a simple (count the paths) query to the logical stage appears to be producing a sensible graph. This has revealed some bugs in the pipeline optimizer, and we still need to add support into the interpreter... but it's progressing.

TFW you optimize your compiler to the point where it realizes that your test case is a no-op.

#Draupnir #Datalog

🚀 Breaking #news from the cutting-edge world of #database theory: some genius just discovered that "SQL" and "Datalog" are still things! 😲 Apparently, when you combine ancient #tech with buzzwords like "relational #algebra of the environment," you can create a mind-numbing blog post that rivals Ambien. 😴💤
https://www.philipzucker.com/compose_datalog/ #theory #SQL #Datalog #relational #HackerNews #ngated

🚀 Breaking #news from the cutting-edge world of #database theory: some genius just discovered that "SQL" and "Datalog" are still things! 😲 Apparently, when you combine ancient #tech with buzzwords like "relational #algebra of the environment," you can create a mind-numbing blog post that rivals Ambien. 😴💤
https://www.philipzucker.com/compose_datalog/ #theory #SQL #Datalog #relational #HackerNews #ngated

🚀 Breaking #news from the cutting-edge world of #database theory: some genius just discovered that "SQL" and "Datalog" are still things! 😲 Apparently, when you combine ancient #tech with buzzwords like "relational #algebra of the environment," you can create a mind-numbing blog post that rivals Ambien. 😴💤
https://www.philipzucker.com/compose_datalog/ #theory #SQL #Datalog #relational #HackerNews #ngated

🚀 Breaking #news from the cutting-edge world of #database theory: some genius just discovered that "SQL" and "Datalog" are still things! 😲 Apparently, when you combine ancient #tech with buzzwords like "relational #algebra of the environment," you can create a mind-numbing blog post that rivals Ambien. 😴💤
https://www.philipzucker.com/compose_datalog/ #theory #SQL #Datalog #relational #HackerNews #ngated

🚀 Breaking #news from the cutting-edge world of #database theory: some genius just discovered that "SQL" and "Datalog" are still things! 😲 Apparently, when you combine ancient #tech with buzzwords like "relational #algebra of the environment," you can create a mind-numbing blog post that rivals Ambien. 😴💤
https://www.philipzucker.com/compose_datalog/ #theory #SQL #Datalog #relational #HackerNews #ngated

Compositional Datalog on SQL: Relational Algebra of the Environment

https://www.philipzucker.com/compose_datalog/

#HackerNews #Compositional #Datalog #SQL #RelationalAlgebra #Environment

Compositional Datalog on SQL: Relational Algebra of the Environment

https://www.philipzucker.com/compose_datalog/

#HackerNews #Compositional #Datalog #SQL #RelationalAlgebra #Environment

Compositional Datalog on SQL: Relational Algebra of the Environment

https://www.philipzucker.com/compose_datalog/

#HackerNews #Compositional #Datalog #SQL #RelationalAlgebra #Environment

Compositional Datalog on SQL: Relational Algebra of the Environment

https://www.philipzucker.com/compose_datalog/

#HackerNews #Compositional #Datalog #SQL #RelationalAlgebra #Environment

Compositional Datalog on SQL: Relational Algebra of the Environment

https://www.philipzucker.com/compose_datalog/

#HackerNews #Compositional #Datalog #SQL #RelationalAlgebra #Environment

[New Blog Post] Compositional Datalog on SQL: Relational Algebra of the Environment #datalog #database #sql https://www.philipzucker.com/compose_datalog/

Datalog in Rust: A workshop-inspired project to build an interactive Datalog engine, emphasizing usability & performance. Covers parsing, fact storage, & rule eval with program analysis demos.
#Rust #Datalog #prorgamming #rustlang

https://github.com/frankmcsherry/blog/blob/master/posts/2025-06-03.md

Datalog in miniKanren

https://deosjr.github.io/dynamicland/datalog.html

#HackerNews #Datalog #miniKanren #programming #languages #functional #programming #logic #programming

🦀✨ Ah, yes, another riveting tale of someone cramming #Datalog into #Rust because who doesn't love combining obscure technologies for funsies? 🚀🔧 It's like trying to fit a square peg in a round hole and calling it innovation—now with extra GitHub links for the brave souls who pretend to care. 🎉💾
https://github.com/frankmcsherry/blog/blob/master/posts/2025-06-03.md #Innovation #TechHumor #ObscureTech #HackerNews #ngated

Datalog in Rust

https://github.com/frankmcsherry/blog/blob/master/posts/2025-06-03.md

#HackerNews #Datalog #Rust #Programming #Language #Database #Tech

OMG #logseq queries what in the hell is this marvel yahoo answers #DataLog

nemo - A fast in-memory rule engine

https://github.com/knowsys/nemo

#Logic #DataAnalysis #RDF #Datalog

Readings shared April 22, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/22-readings_shared_04-22-25 #CommonLisp #Datalog #Haskell #IsabelleHOL #LLMs #LeanProver #Logic #Math #Python

🥸 Ah, #Scallop, the language of choice for those who can't decide between symbols and neurons, as if #AI needed more seasoning. 🧂 Just what we needed: another "revolutionary" tool, based on #Datalog, to baffle even the most dedicated programmers. ⚠️ Perfect for when you want your Python code to be even less comprehensible. 🐍
https://www.scallop-lang.org/ #programming #humor #HackerNews #ngated

Readings shared March 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/18-readings_shared_03-18-25 #AI #ASP #ATP #CLP #CommonLisp #Datalog #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #LogicProgramming #Mace #Math #Otter #Prolog #Prover9 #SMT #Z3

Teaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. https://acnsci.org/journal/index.php/cte/article/view/838/860 #LogicProgramming #Prolog #ASP #CLP #Datalog

Idea of #propertygraph on top of #rdf is interesting. It is marry 2 big camps and give more tools and power . #terminusdb go even forward and add more user friendly document based interface for #linkeddata on top of #jsonld that could be translated to #rdf. Unfortunately we still has no tools for #edge and on user device . I see that terminus #hdt store and effective #datalog engine improvemented in #rust give a hope

Idea of #propertygraph on top of #rdf is interesting. It is marry 2 big camps and give more tools and power . #terminusdb go even forward and add more user friendly document based interface for #linkeddata on top of #jsonld that could be translated to #rdf. Unfortunately we still has no tools for #edge and on user device . I see that terminus #hdt store and effective #datalog engine improvemented in #rust give a hope

Idea of #propertygraph on top of #rdf is interesting. It is marry 2 big camps and give more tools and power . #terminusdb go even forward and add more user friendly document based interface for #linkeddata on top of #jsonld that could be translated to #rdf. Unfortunately we still has no tools for #edge and on user device . I see that terminus #hdt store and effective #datalog engine improvemented in #rust give a hope

Idea of #propertygraph on top of #rdf is interesting. It is marry 2 big camps and give more tools and power . #terminusdb go even forward and add more user friendly document based interface for #linkeddata on top of #jsonld that could be translated to #rdf. Unfortunately we still has no tools for #edge and on user device . I see that terminus #hdt store and effective #datalog engine improvemented in #rust give a hope

Idea of #propertygraph on top of #rdf is interesting. It is marry 2 big camps and give more tools and power . #terminusdb go even forward and add more user friendly document based interface for #linkeddata on top of #jsonld that could be translated to #rdf. Unfortunately we still has no tools for #edge and on user device . I see that terminus #hdt store and effective #datalog engine improvemented in #rust give a hope

https://volodymyrpavlyshyn.medium.com/cozodb-database-for-ai-applications-d89fadc681fe

#cozodb is a #relational database with a #vectorsearch and #graph capability super changed by #datalog and another power it is embeddable and device friendly

https://volodymyrpavlyshyn.medium.com/cozodb-database-for-ai-applications-d89fadc681fe

#cozodb is a #relational database with a #vectorsearch and #graph capability super changed by #datalog and another power it is embeddable and device friendly

https://volodymyrpavlyshyn.medium.com/cozodb-database-for-ai-applications-d89fadc681fe

#cozodb is a #relational database with a #vectorsearch and #graph capability super changed by #datalog and another power it is embeddable and device friendly

https://volodymyrpavlyshyn.medium.com/cozodb-database-for-ai-applications-d89fadc681fe

#cozodb is a #relational database with a #vectorsearch and #graph capability super changed by #datalog and another power it is embeddable and device friendly

https://volodymyrpavlyshyn.medium.com/cozodb-database-for-ai-applications-d89fadc681fe

#cozodb is a #relational database with a #vectorsearch and #graph capability super changed by #datalog and another power it is embeddable and device friendly

https://volodymyrpavlyshyn.medium.com/personal-knowledge-graphs-semantic-entity-persistence-in-datalog-deductive-databases-b722ed80e7d4

Lets model #personalknowledgegraphs in a #datalog and #deductive #database. How to express entities and complex #ontology rules

https://volodymyrpavlyshyn.medium.com/personal-knowledge-graphs-semantic-entity-persistence-in-datalog-deductive-databases-b722ed80e7d4

Lets model #personalknowledgegraphs in a #datalog and #deductive #database. How to express entities and complex #ontology rules

https://volodymyrpavlyshyn.medium.com/personal-knowledge-graphs-semantic-entity-persistence-in-datalog-deductive-databases-b722ed80e7d4

Lets model #personalknowledgegraphs in a #datalog and #deductive #database. How to express entities and complex #ontology rules

https://volodymyrpavlyshyn.medium.com/personal-knowledge-graphs-semantic-entity-persistence-in-datalog-deductive-databases-b722ed80e7d4

Lets model #personalknowledgegraphs in a #datalog and #deductive #database. How to express entities and complex #ontology rules

https://volodymyrpavlyshyn.medium.com/personal-knowledge-graphs-semantic-entity-persistence-in-datalog-deductive-databases-b722ed80e7d4

Lets model #personalknowledgegraphs in a #datalog and #deductive #database. How to express entities and complex #ontology rules

https://volodymyrpavlyshyn.medium.com/personal-knowledge-graphs-in-relational-model-39528f1ee45b

So, go from #directedgraph to #hypergraph on steroids.

How does #namedgraph help us simplify structure? When using a different kind of graph.

Yep, all this is a pure relational model that works better with a #datalog. Relational databases could be a good choice for #personalknowledge #graphs and #ai #empowered applications

https://volodymyrpavlyshyn.medium.com/personal-knowledge-graphs-in-relational-model-39528f1ee45b

So, go from #directedgraph to #hypergraph on steroids.

How does #namedgraph help us simplify structure? When using a different kind of graph.

Yep, all this is a pure relational model that works better with a #datalog. Relational databases could be a good choice for #personalknowledge #graphs and #ai #empowered applications

https://volodymyrpavlyshyn.medium.com/personal-knowledge-graphs-in-relational-model-39528f1ee45b

So, go from #directedgraph to #hypergraph on steroids.

How does #namedgraph help us simplify structure? When using a different kind of graph.

Yep, all this is a pure relational model that works better with a #datalog. Relational databases could be a good choice for #personalknowledge #graphs and #ai #empowered applications

https://volodymyrpavlyshyn.medium.com/personal-knowledge-graphs-in-relational-model-39528f1ee45b

So, go from #directedgraph to #hypergraph on steroids.

How does #namedgraph help us simplify structure? When using a different kind of graph.

Yep, all this is a pure relational model that works better with a #datalog. Relational databases could be a good choice for #personalknowledge #graphs and #ai #empowered applications

This is a really well done tutorial on datalog, https://www.learndatalogtoday.org #clojure #datalog #datomic