logic-programming topic

Minimalistic logic programming framework

StrykerKKD

Logic programming in Swift

mdiep

1v1 tank war model built by NetLogo :collision:

huangyz0918

Oso is a batteries-included framework for building authorization in your application.

osohq

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

EvgSkv

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.

souffle-lang

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

ekzhang

Datalog compiler embedded in Rust as a procedural macro

ekzhang

simplified query engine based on logic programming paradigm

fogfish

High performance, concurrent functional programming abstractions

composewell