Prolog

Prolog

магия унификации

• [unimag] https://github.com/ponyatov/AoP/releases/latest

У меня большой опыт в программировании на большинстве императивных языков, но я до сих пор не могу найти книгу или хотя бы вводное руководство, позволяющее мне понять язык Prolog. У меня есть почти все хорошо известные книги [bratko,km,aop] как в бумаге, так и в электронной форме, и я множество раз пытался осваивать все учебники, которые мне попадались.

Я чувствую, что во всех них потеряна какая-то ключевая идея, и самое страшное -- это обработка списков, как в синтаксисе языка, так и в аду рекурсии, выносящем мозг. Что что-то удерживает Prolog на плаву в течение этих десятилетий, что может быть очень полезно в императивном программировании в качестве встроенного движка логического вывода (такие вещи, как решатель зависимостей при конфигурации ядра Linux -- очень и очень странно, что Prolog не используется вместо Kconfig и Buildroot-подобных инструментов).

• [norswap] https://norswap.com/prolog-served-dry/
• [AoP] Leon Sterling, Ehud Shapiro The Art of Prolog
• [km] Клоксин У., Меллиш К. Программирование на языке Пролог
• [bratko] Иван Братко Программирование на языке Пролог для искусственного интеллекта