GitHub topics: constraint-logic-programming
pythological/kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
Language: Python - Size: 539 KB - Last synced at: 24 days ago - Pushed at: over 2 years ago - Stars: 208 - Forks: 19
pjritee/pl_search_cpp
A C++ module that uses Prolog ideas for search and constraint programming
Language: C++ - Size: 3.28 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
pjritee/pl_search
A Python module that uses Prolog ideas for search and constraint programming
Language: Python - Size: 208 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
tmarsteel/network-layout
creates layouts for public transportation network maps, outputs SVG
Language: Kotlin - Size: 90.8 KB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
chansey97/clprosette-miniKanren
CLP(Rosette) on top of miniKanren
Language: Racket - Size: 2.83 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 0
chansey97/chr_book
Valuable code and exercises about the book "Constraint Handling Rules (2009)" .
Language: Prolog - Size: 105 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0
ratioSolver/oRatio
oRatio is an Integrated Logic and Constraint based solver
Language: C++ - Size: 1.09 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 3 - Forks: 1
LeKinaSa/plog-talpa-trickytriple
Project for the "Logic Programming" Curricular Unit (FEUP)
Language: Prolog - Size: 4.51 MB - Last synced at: 2 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
apostolistselios/clp-course
The exercises from my university course 'Constraint Logic Programming' using Prolog
Language: Prolog - Size: 1.28 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
ratioSolver/RiDDLe
Rational Domain Definition Language (RiDDLe)
Language: C++ - Size: 727 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0
ratioSolver/ratio4J
Java API for the oRatio solver
Language: Java - Size: 54.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
ratioSolver/PyRatio
Python API for the oRatio solver
Language: C++ - Size: 98.6 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
gjoncas/A-Rose-for-Emily
Using constraint logic programming to analyze nonlinear timelines in stories
Language: Prolog - Size: 258 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 3
MarcoCarry97/Knowledge-representation-and-Logic-programming
Four exercises I made using CLP and ASP for the exam of Knowledge representation and Logic programming (Rappresentazione della conoscenza e logica computazionale) at UNIUPO
Language: HTML - Size: 262 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
OnurYurteri/MapColoring
A constraint logic approach to "Map Coloring" problem
Language: Java - Size: 9.71 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1
owaismohsin001/SocratesPy
Embedded and integrated constraint logic programming for Python
Language: Python - Size: 234 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
rafaelribeiro1510/C-Note
2nd project for PLOG course
Language: Prolog - Size: 310 KB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
