An extensible, lightweight relational/logic programming DSL written in pure Python
A new logic programming language.
Prune is a constraint logic programming language with branching heuristic.
CLP(Rosette) on top of miniKanren
Valuable code and exercises about the book "Constraint Handling Rules (2009)" .
Using constraint logic programming to analyze nonlinear timelines in stories
oRatio is an Integrated Logic and Constraint based solver
Downloadable files for eCLiPse Constraint Logic Programming and Picat
Java API for the oRatio solver
Python API for the oRatio solver
Interactive logic puzzle solver using Prolog and WebAssembly with step-by-step reasoning visualization
Project for the "Logic Programming" Curricular Unit (FEUP)
A C++ module that uses Prolog ideas for search and constraint programming
creates layouts for public transportation network maps, outputs SVG
Rational Domain Definition Language (RiDDLe)
A constraint logic approach to "Map Coloring" problem
A collection of examples written in ECLiPSe Prolog.
A Python module that uses Prolog ideas for search and constraint programming
To associate your repository with the constraint-logic-programming topic, visit your repo's landing page and select "manage topics."