logic-programming

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

Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.

Introduction to modern Prolog

Tools for transparent data transformation

High performance, concurrent functional programming abstractions

SWI-Prolog Main development repository

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.

The OpenCog (hyper-)graph database and graph rewriting system

A declarative programming framework

An open source Prolog interpreter in JavaScript

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

The only reasonable scripting engine for Go.

🤔 A grounder and solver for logic programs.

An interpreter for learning and exploring pure λ-calculus

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.

Datalog compiler embedded in Rust as a procedural macro

Logtalk - declarative object-oriented logic programming language

The Official Shen Sources

A reference library for constraint-solving with propagators and CDCL.