Artificial Intelligence for Ada