potassco / clingo

🦉 A grounder and solver for logic programs.

NucleoidAI / Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍