Список проголосовавших за комментарий "Мальчик Buybuy, ну, насколько я знаю, пролог это делает не в манере ИИ, там другой метод, метод резолюций.<br/> <br/> В принципе, я не вижу особых препятствий в этом, потому что доказательство теорем это все та же дедукция, а дедуктивный движок тут встроен по любому.<br/> И это даже более легкая задача чем обучение<br/> <br/> Только пока не особо ясно, что это вообще дает.<br/> <br/> К примеру, тезис: слон Вася красного цвета. Аксиома: все слоны красные. Вася слон, следовательно он красный. Доказано.<br/> <br/> Много ли в этом толку?"