4 ms·
Related: https://news.ycombinator.com/item?id=35623625 https://news.ycombinator.com/item?id=35623625 (2023) "Why Did Prolog Lose Steam (2010)" Anecdotally, som
by AceJohnny2 2y ago
Related: https://news.ycombinator.com/item?id=35623625 https://news.ycombinator.com/item?id=35623625 (2023) "Why Did Prolog Lose Steam (2010)"
Anecdotally, some years ago the Zebra Puzzle [1] made the rounds in my team. Two people solved it: myself, a young intern, who mapped out the constraints as a physical puzzle that I was able to solve visually, and a more seasoned colleague who used Prolog.
[1] https://en.wikipedia.org/wiki/Zebra_Puzzle https://en.wikipedia.org/wiki/Zebra_Puzzle
- tannhaeuser 2y agoFYI, a very compact Prolog version of the Zebra/Einstein puzzle can be loaded into the editor for execution using "Load example" on [1]. [1]: https://quantumprolog.sgml.net/browser-demo/browser-demo.html https://quantumprolog.sgml.net/browser-demo/browser-demo.htm...