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.

For all .NET users: you can now try Mangle.
https://www.nuget.org/packages/Mangle/

Mangle is a Datalog dialect — write facts and rules, the engine derives all consequences, including recursive ones like graph reachability. This wraps the Rust implementation as a native lib, usable from C#, F# and Visual Basic.

Built for Linux, Mac and Windows via a GitHub Actions matrix + the fantastic Rust compiler.

At the risk of repeating myself: it has never been easier to use Datalog!

#Mangle #Datalog #dotnet #rust

#Mangle #Datalog news: mangle-rs has python bindings now. Get them on https://pypi.org/project/mangle-py/

Let me know if there are any problems or you have suggestions for the API.

As a reminder: Mangle is a datalog based language, with a go and a Rust implementation. The Rust one can also conveniently used in the browser, via WASM.

The time to use datalog from your code is *now*, no excuses 😉

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

Optimizing Datalog for the GPU

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

#HackerNews #Tech #Datalog

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