It's been a while since anyone has promoted a new major AI language (LISP, PROLOG, OPS-5, CLIPS, etc.). Pedro Domingos is advocating Alchemy as such an AI language, a "language of thought" for AIs. (see Markov Logic, by Domingos and Lowd, Morgan and Claypool, 2009) I have downloaded Alchemy (http://alchemy.cs.washington.edu) but have not run the package. The last few AI projects I have studied were all in C++. I certainly wouldn't want to try to write Asa H in Alchemy, for instance.