А где что хорошее прочитать про прологоподобные системы? Как их проектируют и пишут, вот это всё
Совсем детского, на уровне "Write You Prolog" (сходу не нашел, а жаль) ‎· Размытое в синей футболке
www.freeprogrammingresources.com/prologbook.html ‎· dailas
www.freebookcentre.net/Language/Free-Prolog-Books-Download.html ‎· dailas
в SICP или HtDP был кусочек про. ‎· капитан джек чыпчык
https://github.com/clojure/core.logic — там в начале есть ссылки, если я правильно понимаю, то они тоже про logic programming ‎· extraordinary collection of cats
О, круто-круто, по пути домой буду читать! ‎· Размытое в синей футболке
у Hickey в списке есть несколько про prolog и logic prog, а также про knowledge systems и немного релевантные — http://www.amazon.com/lm/R3LG3ZBZS4GCTH ‎· адский хардлайн в засаде
В датомике язык запросов - datalog, по-сути пролог, вид сбоку. ‎· ridiculous crowdfunded nonsense
WAMbook выглядит очень круто, до minikanren давно хочу добраться, но все никак... ‎· Размытое в синей футболке