News for hackers. Stuff that matters.

A comment on Constraints (1981) [pdf]. Parent comment

Re:Constraints (1981) [pdf] by tempodox on Sunday June 20, 2021 @07:25PM (#27574727)
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

[ Parent | on HN ]
Re:Constraints (1981) [pdf] by Jtsummers on Sunday June 20, 2021 @07:50PM (#27574868)
miniZinc 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.

[ Parent | on HN ]