In some sense, that’s it
In other dimensions, Icon is very much like any imperative language
But adding this rich notion of expression evaluation is very expressive
- It’s very much like Prolog --- in essence, using unification and resolution --- but in a limited scope rather than for the entire computational model