CLPGUI: a generic graphical user interface for constraint logic programming over finite domains.
François FagesPublished in: WLPE (2002)
Keyphrases
- graphical user interface
- constraint logic programming
- user friendly
- constraint solving
- logic programming language
- answer set programming
- logic programming
- visualization tool
- graphical user interfaces
- constraint programming
- constraint propagation
- real world
- temporal reasoning
- user interface
- knowledge representation
- search tree
- finite domain
- programming paradigms