constraint-logic-programming

There are 1 repository under constraint-logic-programming topic.

• pythological / kanren

  An extensible, lightweight relational/logic programming DSL written in pure Python

  relational-programmingminikanrenlogic-programmingsymbolic-computationconstraint-logic-programmingclp
  Language:Python 168

• chansey97 / clprosette-miniKanren

  CLP(Rosette) on top of miniKanren

  racketminikanrenlogic-programmingconstraintsrosettesmtconstraint-logic-programming
  Language:Racket 9

• chansey97 / chr_book

  Valuable code and exercises about the book "Constraint Handling Rules (2009)" .

  constraint-handling-rulesconstraint-logic-programmingconstraint-programmingconstraintslogic-programmingprolog
  Language:Prolog 4

• gjoncas / A-Rose-for-Emily

  Using constraint logic programming to analyze nonlinear timelines in stories

  constraint-logic-programmingliteraturedigital-humanitiesreplication
  Language:Prolog 3

• ratioSolver / oRatio

  oRatio is an Integrated Logic and Constraint based solver

  constraint-programmingtimeline-based-planningconstraint-logic-programminglogic-programmingautomated-planning
  Language:C++ 3

• apostolistselios / clp-course

  The exercises from my university course 'Constraint Logic Programming' using Prolog

  prologclpconstraint-logic-programming
  Language:Prolog 1

• dougedmunds / clp_downloadables

  Downloadable files for eCLiPse Constraint Logic Programming and Picat

  constraint-logic-programmingpicatvscode-extensioneclipse-clp
  1

• ratioSolver / PyRatio

  Python API for the oRatio solver

  constraint-logic-programmingconstraint-programminglogic-programmingpythontimeline-based-planningautomated-planning
  Language:C++ 1

• ratioSolver / ratio4J

  Java API for the oRatio solver

  automated-planningconstraint-logic-programmingconstraint-programmingjavalogic-programming
  Language:Java 1

• OnurYurteri / MapColoring

  A constraint logic approach to "Map Coloring" problem

  constraint-logic-programmingjacopjavamap-coloringmap-coloring-approach
  Language:Java 0

• pjritee / pl_search

  A Python module that uses Prolog ideas for search and constraint programming

  backtracking-searchconstraint-logic-programmingconstraint-programmingprologpython
  Language:Python 0

• ratioSolver / RiDDLe

  Rational Domain Definition Language (RiDDLe)

  constraint-logic-programminglogic-programmingprogramming-languageconstraint-programming
  Language:C++ 0

• up201806330 / C-Note

  2nd project for PLOG course

  prologconstraint-logic-programmingpuzzle
  Language:Prolog 0

• zaidharoon001 / SocratesPy

  Embedded and integrated constraint logic programming for Python

  pythonpython3logic-programmingprologprolog-implementationembedded-languageconstraint-satisfaction-problemconstraint-programmingconstraint-logic-programmingpython-constraints
  Language:Python 0

• LeKinaSa / plog-talpa-trickytriple

  Project for the "Logic Programming" Curricular Unit (FEUP)

  constraint-logic-programminglogic-programming
  Language:Prolog