Подумалось тут, что возможная скрытая причина, которая помешала бы успешно применять язык Ифкуиль - теорема Гёделя. @rf