EvgSkv / logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

triska / the-power-of-prolog

The Power of Prolog: Introduction to modern Prolog

SWI-Prolog / swipl-devel

SWI-Prolog Main development repository

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.

composewell / streamly

High performance, streaming and concurrent functional programming in Haskell

potassco / clingo

🦉 A grounder and solver for logic programs.

NucleoidAI / Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍

ichiban / prolog

The only reasonable scripting engine for Go.

prove-rs / z3.rs

Rust bindings for the Z3 solver.