На самом деле важно то, чего еще в прологе нет, кроме ляпов.
Я об этом и написал. Для того, чтобы от логического программирования была польза, необходимо 1. Собрать исходные данные для принятия решения. Т.е. нужен интерфейс к тому, что эти данные предоставляет. 2. Суметь это решение реализовать. Т.е. нужен интерфейс к эффекторам.
Сферический пролог в вакууме - это примерно как C без не только POSIX, но и вообще без libc. Не то чтобы вещь совсем бесполезная (можно ядра ОС писать, например), но с очень ограниченным диапазоном применения.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
branchandroot
no subject
Date: 2009-12-11 09:52 am (UTC)Я об этом и написал. Для того, чтобы от логического программирования была польза, необходимо
1. Собрать исходные данные для принятия решения. Т.е. нужен интерфейс к тому, что эти данные предоставляет.
2. Суметь это решение реализовать. Т.е. нужен интерфейс к эффекторам.
Сферический пролог в вакууме - это примерно как C без не только POSIX, но и вообще без libc. Не то чтобы вещь совсем бесполезная (можно ядра ОС писать, например), но с очень ограниченным диапазоном применения.