potassco/clingo
🦉 A grounder and solver for logic programs.
A star delta has been computed for 52,827 of 63,382 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 08:10 and 17:22 (BKK).
🦉 A grounder and solver for logic programs.
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.
Datalog with support for SMT queries and first-order functional programming
A Kotlin Multi-Platform ecosystem for symbolic AI
The only reasonable scripting engine for Go.
Synthesized Logic Language for World Models 🌱🐋🌍
Logtalk - declarative object-oriented logic programming language
That's all 7 repositories in this period.