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