Strangely enough, they didn't name it anything. They don't really see it as a language, just a logic tool. From what I've seen, they've included GPL notices i

Strangely enough, they didn't name it anything. They don't really see it as a language, just a logic tool. From what I've seen, they've included GPL notices in most of their code (something unheard of in this industry). I'm guessing the whole thing is GPL'd, but not published to the Internet.