There already are “ai backed” languages, this is called constraint based programming and has its basis on logic based programming, which most people only know prolog.

The idea is to define a problem and how it’s solutions looklike and let the program find it. The ai in this is all the clever algorithms to explore the search space cleverly