CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming.
François FagesSylvain SolimanRémi CoolenPublished in: Constraints An Int. J. (2004)
Keyphrases
- graphical user interface
- constraint logic programming
- user friendly
- constraint solving
- logic programming language
- logic programming
- visualization tool
- answer set programming
- constraint programming
- user interface
- proof theoretic
- temporal reasoning
- constraint propagation
- programming paradigms
- logic programs
- open source
- graphical user interfaces
- constraint satisfaction
- state space
- constraint solver
- special case
- reinforcement learning