Список проголосовавших за комментарий "sortarray sortarray, ничего смешного, кстати<br/> <br/> Я имел в виду простейший вариант автоматического вывода утверждений из постулатов — как в Прологе.<br/> Для программиста — задача несложная (решена в начала 60-х).<br/> Для ИИ — ХЗ, но было бы логично, чтобы он колол такие задачи, как орешки. Мы их сотнями и тысячами постоянно в уме решаем )))<br/> <br/> С уважением"