That'd be programming language, not verbal.
I too had been thinking along the lines of a declarative/functional (e.g. lisp/ml/hope/smalltalk) rather than imperative (e.g. C++, C#, Basic) language for the very reasons that it requires reasoning, planning and design - but most of all thought. (Quick recap, my dissertation was the unification of a functional, lambda calculus style language with a prolog system).
Anyhow, should be fun. At the moment I can't stop him throwing lego blocks at the dog. Stopping him dereferencing null pointers might be easier.