14 ms·
Hah! I used exactly this example to motivate the arbitrary precision CLP(FD) implementation, published as The Finite Domain Constraint Solver of SWI-Prolog, FLO
by triska 8y ago
Hah! I used exactly this example to motivate the arbitrary precision CLP(FD) implementation, published as The Finite Domain Constraint Solver of SWI-Prolog, FLOPS 2012, LNCS 7294:
https://www.metalevel.at/swiclpfd.pdf https://www.metalevel.at/swiclpfd.pdf
The observations on type inference are also spot on. The project you mentioned was previously discussed on HN, but the page is no longer available:
https://news.ycombinator.com/item?id=12108041 https://news.ycombinator.com/item?id=12108041
- kccqzy 8y agoOh you implemented this CLP(FD) and wrote that paper! Thanks a lot! My 7-11 example is probably because I first saw it in your paper then.
- ysleepy 8y agoThis reminds me of a recent HN post about a simple datalog engine being used in the rust borrow checker. https://github.com/frankmcsherry/blog/blob/master/posts/2018-05-19.md https://github.com/frankmcsherry/blog/blob/master/posts/2018... via https://news.ycombinator.com/item?id=17107527 https://news.ycombinator.com/item?id=17107527