Constraint
Users declaratively state the constraints on the feasible solutions for a set of decision variables.
Details
Plangs
| Name | Description |
|---|---|
| Ciao | Modern Prolog implementation focused on portability, extensibility, and modularity. |
| Curry | Declarative language that integrates features of functional and logic programming paradigms |
| GNU Prolog | A Prolog implementation with an interpreter and native compiler. |
| MiniZinc | Language for constraint modelling and solving complex combinatorial problems. |
| Picat | A multi-paradigm language integrating functional, logic, and imperative programming features. |
| SWI-Prolog | Implementation of Prolog focused on versatility and rich libraries. |