Wolfram Language: 8 min video of Wolfram Language [blog.wolfram.com]. Classes made up from Alpha and Mathematica that correspond to interesting computable objects in our world. I’m not sure this is the first AI language, but seems best funded and the most interesting.