I wish! Another progressive computing project I'm aware of in the same vein was Japan's "Fifth Generation Computer" initiative, which bore, among other things, a concurrent dialect of Prolog called KL0. http://en.wikipedia.org/wiki/Fifth_generation_computer