3 ms·
Perhaps even more powerful would be spreadsheets + Prolog. Since Prolog's main strength is finding answers for you, I imagine putting that on grid would have ve
by simplify 5y ago
Perhaps even more powerful would be spreadsheets + Prolog. Since Prolog's main strength is finding answers for you, I imagine putting that on grid would have very interesting results.
- ashton314 5y agoOnce you have a lisp, implementing microKanren is straight-forward. Just as the lisp and you get the Prolog for free!
- layer8 5y agoThat sounds like a more powerful variation of Excel's Goal Seek function. The latter however uses an iterative approximation approach. Given the non-exact nature of floating point, it would be interesting to see if numeric approximation can be combined with a Prolog-like resolution algorithm.
- tobmlt 5y agoYes indeed! Successful (caveat that term appropriately ;) versions of this prolog+floats idea have used interval analysis in the past. Anyway, yep you can do it, and it is fun!
- SamReidHughes 5y agoSpreadsheets + datalog has been a concept floating around for a while. You can find papers about NEXCEL, XcelLog, and probably some other attempts. It’s a tricky problem.