Comment by rumcajz

11 years ago

It's more of a declarative language. Like Prolog.

I dont think its really either a functional programming language (no first class functions), or a logic programming language like Prolog (not implemented via unification). It is a declarative language that is in an independent category.