I hope you enjoy it! I sure did. If you enjoy it, you might also enjoy 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: >>41833629