This is a good #Datalog tutorial I needed: https://dbai.tuwien.ac.at/proj/dlv/tutorial/

Как я построил 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

Why does no one use #Datalog as a database language? It’s so much simpler than #SQL and much easier to write. I mean, I already know the answer—AI winter, unconventional computation model, and combinatorial explosions in complex queries—but it still feels unfair for such an elegant technology to just go to waste.

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.

Split #mangle #datalog repo into go and Rust repos and moved from GitHub to Codeberg today ... getting organized: https://codeberg.org/TauCeti

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.

There are many datalog implementations, but there is only one that has a mangle in its logo. #Mangle #datalog

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

#Draupnir #Datalog

*En route* to ICFP/SPLASH 2025 and specifically REBASE. I haven't been to conferences in a long time and realized that - even if there is a lot of ideas being exposed and written about - I should write and talk a lot more, especially #Mangle #Datalog. I realize the #Datalog resurgence isn't actually widely known, but also during preparation had unexpected discussions with new team mates who happened to be souffle users. Classic case of unevenly distributed future. If you are on team Datalog and still around for the OOPSLA days, let's talk!

🧠 Übersetzung: "Từ RAG nào khác mỗi tuần, thực tế hiểu NG? ===\\n\\nNhiều framework RAG mới ra, nhưngAggrégate chỉ là ấn biến nhỏ. Điều nàyQUEUE hoạn documental: cần standaard benchmark, báo cáo rõ cải tiến cụ thể, và guide thông dẫn khi nên 상호.\\n\\nĐã qua qua windingсах, cần convser để tránhście chỉ pha sản raouter?\\n\\n#RAG #TríTuệTuần #AI #Datalog"

*(D dîu đủ 500 ký tự, tags kèm tiếng Anh/Tiếng Việt, không link)*

https://www.reddit.com/r/LocalLLaMA/comments/1o764lj/the_new_rag_every_wee

🚀 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

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

🌘 Mangle：Google 開源的宣告式程式語言，用於邏輯式資料庫與知識圖譜
➤ 釋放 Datalog 的力量，打造智慧應用
✤ https://github.com/google/mangle
Google 開源的 Mangle 是一個基於 Datalog 的宣告式程式語言，旨在簡化邏輯式資料庫和知識圖譜的建構與查詢。它擴充了 Datalog 的功能，支援聚合、函式呼叫與類型檢查，並提供 Go 函式庫，讓開發者能輕鬆將其嵌入應用程式。文章詳細介紹了 Mangle 的語法、應用範例，並說明瞭如何建置、測試以及重新生成解析器。
+ 這個專案聽起來非常有潛力，特別是將 Datalog 的表達能力帶入現代開發中，而且是 Go 函式庫，很方便。
+ log4j 漏洞的查詢範例很實用，期待看到更多 Mangle 在實際資安情境中的應用。
#程式語言 #宣告式程式設計 #Datalog #邏輯式資料庫 #知識圖譜 #Go

@tekknolagi You are on a blogging spree!

I believe in an alternate, better world, we would likely teach liveness using datalog.

It is a pity that datalog did not exist when dataflow analysis was invented.

Here is a link to my "liveness in #mangle #datalog" example:
https://github.com/google/mangle/blob/main/examples/dataflow_liveness.mg

🌘 DALEQ - Datalog 驅動的位元組碼相等性驗證工具
➤ 透過 Datalog 揭示 Java 位元組碼的深層相等性
✤ https://github.com/binaryeq/daleq
DALEQ 是一款創新的工具，它利用 Datalog 語言來分析和比較 Java 位元組碼，旨在判定不同編譯版本或來源的二進位檔案之間是否存在相等性。該工具將位元組碼轉換為結構化的資料庫（EDB），再透過 Datalog 規則進行推論（IDB），最終生成一份詳細的 HTML 報告，說明程式碼的相等程度，並支援整合至持續整合流程。
+ 這個工具聽起來很強大，特別是它能夠追蹤到具體的推論路徑，這對於除錯或理解差異非常有幫助。
+ 能夠將此工具整合到 CI/CD 流程中，意味著我們可以自動化二進位檔案相容性檢查，這能省下大量人力。
#位元組碼分析 #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