Topic: "constraint-logic-programming"
pythological/kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
Language: Python - Size: 551 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 219 - Forks: 23
AntonPing/prune-lang
Prune is a constraint logic programming language with branching heuristic.
Language: Rust - Size: 400 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 23 - Forks: 0
chansey97/clprosette-miniKanren
CLP(Rosette) on top of miniKanren
Language: Racket - Size: 2.83 MB - Last synced at: almost 2 years ago - Pushed at: over 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: almost 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0
ratioSolver/oRatio
oRatio is an Integrated Logic and Constraint based solver
Language: C++ - Size: 1.12 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 3 - Forks: 1
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: about 6 years ago - Stars: 3 - Forks: 3
ratioSolver/PyRatio
Python API for the oRatio solver
Language: C++ - Size: 98.6 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
ratioSolver/ratio4J
Java API for the oRatio solver
Language: Java - Size: 54.7 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - 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: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
ratioSolver/RiDDLe
Rational Domain Definition Language (RiDDLe)
Language: C++ - Size: 600 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
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: 7 months ago - Pushed at: 7 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: 8 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: 6 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
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: over 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: 7 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
rafaelribeiro1510/C-Note
2nd project for PLOG course
Language: Prolog - Size: 310 KB - Last synced at: 9 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
LeKinaSa/plog-talpa-trickytriple
Project for the "Logic Programming" Curricular Unit (FEUP)
Language: Prolog - Size: 4.51 MB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
