Есть много материала по решению запутанных задачек на Прологе (например, [страница Hakan Kjellerstrand о B-Prolog][1]). Однако часто приводятся задачи, которые либо создавались для решения вручную (имеют маленькое пространство поиска), либо изначально ориентированы на решение при помощи логического программирования. Я хочу показать мое решение на Прологе задачи AAAAAA с первого раунда Facebook Hacker Cup 2014. Задача имеет достаточно большое пространство поиска и создана с прицелом на решение опытными спортивными программистами на распространенных языках программирования. [Читать дальше →][2]

[1]: http://www.hakank.org/bprolog/
[2]: http://habrahabr.ru/post/246657/#habracut