4 ms·
The geometry tools in GeoGebra [1] seem an obvious application of the paradigm, but I'm not aware of any programming languages based on it. [1] https://www.geo
by tempodox 5y ago
The geometry tools in GeoGebra [1] seem an obvious application of the paradigm, but I'm not aware of any programming languages based on it.
[1] https://www.geogebra.org https://www.geogebra.org
- Jtsummers 5y agominiZinc is a constraint modeling language. Many Prologs support constraint modeling. Common Lisp has the Screamer package which is built on the idea. minikanren provides constraint modeling in many languages.