{"repo":"thanos/ex_datalog","free":true,"listed":false,"github":"https://github.com/thanos/ex_datalog","clone":"git clone https://github.com/thanos/ex_datalog.git","description":"A pure Elixir Datalog engine with semi-naive fixpoint evaluation, stratified negation, provenance tracking, and telemetry.","language":"Elixir","stars":25,"topics":["data-science","database","infrence","knowledge","machine-learning","elixir"],"license":"MIT","category":"machine-learning","readme_excerpt":"ExDatalog A production-grade Datalog engine for Elixir. ExDatalog implements bottom-up Datalog evaluation using semi-naive fixpoint computation. Programs are built with a declarative builder API, validated, compiled to an engine-neutral IR, and evaluated by a pluggable backend. New to Datalog? Read the What is Datalog? guide for a comprehensive introduction covering history, concepts, industry use cases, and how Datalog can serve as a knowledge layer for LLMs. Why Datalog Matters Datalog remains one of the most elegant ways to express: - recursive queries; - graph traversal; - rule-based systems; - derived knowledge; - dependency analysis; - provenance tracking; - temporal reasoning; - incremental computation. It continues to influence modern databases, compilers, static analysis tools, knowledge graphs, authorization systems, and AI reasoning engines. Features - Builder API for constructing programs (relations, facts, rules, constraints) - Schema DSL — Ecto-inspired macros for declaring relations, facts, rules, and queries - Constraint types : comparisons, arithmetic, type predicates, string predicates, membership - Aggregates : count , sum , min , max with grouping and stratification - BEAM callback predicates : call deterministic Elixir functions from rules (timeout-isolated) - Negation with stratified evaluation - Recursive rules with semi-naive fixpoint evaluation - Query planner ( ExDatalog.Planner ) with explain plan/1,2 - Magic sets (experimental): demand-driven evalu","default_branch":null,"files":null,"tree":[],"storefront":"/r/thanos","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/thanos/ex_datalog/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}