4 ms·
You might want to look at the Icon programming language. I fell in love with it long ago, but I did not go the academic route to use it more, I just accepted t
by cryptonector 2y ago
You might want to look at the Icon programming language. I fell in love with it long ago, but I did not go the academic route to use it more, I just accepted that it wouldn't be a part of my work life. Later -much later- I found jq, with which I had more success in industry. Both are very much like logic programming languages in that they have pervasive (DFS) backtracking.
- YeGoblynQueenne 2y agoOh, I see Icon is a descendant of SNOBOL. I'll have a look, that seems interesting. Thanks for the pointer :)
- cryptonector 2y agoI hope you enjoy it! I sure did. If you enjoy it, you might also enjoy jq (https://github.com/jqlang/jq https://github.com/jqlang/jq), which is also a sort of logic programming language (in that it has pervasive generators and backtracking). Icon has an Algol family syntax, while jq is more... Haskell-ish? in a way if you squint hard? Whereas Prolog is a pile of rules. These differences are very interesting. Verse is another language in this vein, and it seems very interesting as well. Oh, and yesterday's HN thread about Rama is very interesting as well: https://news.ycombinator.com/item?id=41833629 https://news.ycombinator.com/item?id=41833629