искуственный интелект

[arseniiv]

(Оффтоп)

А это я уже честно не помню. Меня раздражало, что надо объявлять «промежуточные» типы для объявления типов-указателей, потому что нельзя написать ^(выражение типа).

[azsx]

Здравствуйте kotenok gav.
Скажите, пожалуйста, можно посмотреть код вашего калькулятора? Интересуют только процедуры, которые что нибудь доказывают (желательно не сложные в математике примеры) и описание самого языка запросов (то есть как юзер пишет в программу условие задачи). Заранее спасибо.

[kotenok gav]

А у меня его нет
Если бы внимательно читали тему, то заметили бы что я его не сделал, так как не знал как делать
Вот небольшой список программ с автоматическим доказательством: https://ru.wikipedia.org/wiki/%D0%90%D0 ... 1.80.D1.8B