1. So yes its intelligence is highly specific but it certainly seems like a program like this could be evolved to become very useful for some application. Why hasn't that happened?
2. One big problem when interacting with systems like this I suppose would be that you have to know what is supported by its grammar in order to use it. The best solution I can see to that problem would be to add some sort of smart as-you-type suggestion feature. Making it smart enough would require some research of its own though but probably well worth it.
edit: Somewhat related is a tool for working with grammar for computer applications (parsing and translating between abstract and concrete and between different concrete representations): Grammatical Framework (http://www.grammaticalframework.org/)
2. One big problem when interacting with systems like this I suppose would be that you have to know what is supported by its grammar in order to use it. The best solution I can see to that problem would be to add some sort of smart as-you-type suggestion feature. Making it smart enough would require some research of its own though but probably well worth it.
edit: Somewhat related is a tool for working with grammar for computer applications (parsing and translating between abstract and concrete and between different concrete representations): Grammatical Framework (http://www.grammaticalframework.org/)