Проект искусственный интеллект и логическое программирование