souffle-lang/souffle
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.
A star delta has been computed for 62,252 of 63,106 tracked repositories in this period, and only those can be ranked in it.
A repository missing here has not been measured far enough back yet. That does not mean it did not move.
Star counts measured between 07:59 and 09:42 (BKK).
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.
A Kotlin Multi-Platform ecosystem for symbolic AI
The only reasonable scripting engine for Go.
Logtalk - declarative object-oriented logic programming language
Datalog with support for SMT queries and first-order functional programming
🦉 A grounder and solver for logic programs.
Synthesized Logic Language for World Models 🌱🐋🌍
That's all 7 repositories in this period.