[charlysl]

I found that these kinds of languages make a LOT more sense after learning some logic [1], specially relational logic, to the extent that it's essentially the same thing.

[1] http://logic.stanford.edu/