souffle-lang/souffle
View on GitHub ↗ ★ 1,194 C++
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
5 mentions on Hacker News by 5 people: 0 stories, 5 comments · first 2021-04-15 · latest 2025-11-06
20082026
-
…my program for some query-planning reason that I couldn't figure out. I don't really know why; see https://github.com/souffle-lang/souffle/discussions/2557 I think the basic issue is that ADTs are simply not indexed--so to the degree that…
comment by kmicinski · 2025-11-06 · in Optimizing Datalog for the GPU -
…my program for some query-planning reason that I couldn't figure out. I don't really know why; see https://github.com/souffle-lang/souffle/discussions/2557
comment by arxanas · 2025-11-06 · in Optimizing Datalog for the GPU -
…wonder if they did a proof of concept with an existing logic system like Souffle¹ or Rel² first. ¹ https://github.com/souffle-lang/souffle ² https://relational.ai/blog/rel
comment by srhtftw · 2024-04-26 · in A Logic Language for Distributed SQL Queries -
https://en.wikipedia.org/wiki/Souffl%C3%A9_(programming_lang... https://github.com/souffle-lang/souffle
comment by cmrdporcupine · 2024-01-21 · in Learn Datalog Today -
Souffle: https://github.com/souffle-lang/souffle Used by projects such as Doop: https://bitbucket.org/yanniss/doop and Ddisasm: https://github.com/grammatech/ddisasm
comment by kovvy · 2021-04-15 · in Logica, a novel open-source logic programming language