Oso is a batteries-included framework for building authorization in your...
Introduction to modern Prolog
Tools for transparent data transformation
SWI-Prolog Main development repository
Soufflé is a variant of Datalog for tool designers crafting analyses in ...
High performance, concurrent functional programming abstractions
The OpenCog (hyper-)graph database and graph rewriting system
A declarative programming framework
🤔 A grounder and solver for logic programs.
An open source Prolog interpreter in JavaScript
The only reasonable scripting engine for Go.
An interpreter for learning and exploring pure λ-calculus
Datalog compiler embedded in Rust as a procedural macro
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in y...
Mejora tu lógica de programación y aprende mucho más resolviendo estos e...