Logic Programming
Showing 8 of 8 projects
A modern ISO Prolog implementation written in Rust, aiming to be an industrial-strength production environment and research testbed.
A Clojure/ClojureScript library for transparent data transformation using pattern matching and term rewriting.
An embeddable ISO Prolog interpreter for Go with a database/sql-like API.
A declarative framework for building reactive web applications using a rules engine and relational data modeling.
A curated collection of resources for Artificial General Intelligence and Computational Cognitive Sciences, covering papers, tools, and researchers.
A Swift library for logic programming that solves problems by describing constraints rather than writing solutions.
A Common Lisp library implementing the Warren Abstract Machine for writing Lispy Prolog with a focus on performance.
A transpiler from S-expressions to ISO-standardized Prolog, enabling Common Lisp to interface with multiple Prolog implementations.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.