constraint-handling-rules

There are 11 repositories under constraint-handling-rules topic.

JetBrains/mps-coderules
Type checking and logical inference for JetBrains MPS
Language:JetBrains MPS31 14 05
chansey97/chr_book
Valuable code and exercises about the book "Constraint Handling Rules (2009)" .
Language:Prolog4 2 00
fisakov/fitch-system
Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules
4 1 01
EagleoutIce/TeXCHR
A fun implementation of FreeCHR in plain TeX
Language:TeX2 1 1
oss92/pronet_chr
Prioritization and placement of roadside units in Intelligent transportation systems.
Language:Prolog2 2 00
arminnh/ma1-constraint-logic-programming
Puzzle solving with ECLiPse CLP and Constraint Handling Rules
Language:Prolog1 2 52
adriand2511/CHR-TicTacToe
A TicTacToe game written in SWI-Prolog using Constraint Handling Rules.
Language:Prolog0 1 01
fisakov/conreactor
Constraints Reactor -- implementation of CHR semantics with support for terms and unification
0 1 00
fisakov/lambdacalc
Demo of using the typechecking with constraint rules
0 1 00
fnogatz/CHR.bib
BibTeX collection of publications related to Constraint Handling Rules
Language:TeX2 0
joanrieu/js-chr-solver
Constraint Handling Rules (CHR) solver
Language:JavaScript2 0