A new AI language

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.