Могу добавить, что имеет смысл смотреть
http://minikanren.org/ и статьи William Byrd
http://webyrd.net/ - это автор миниканрена =) Где-то там и у него на гитхабе должны быть примеры использования+есть список реализаций на разных языках, разной степени полноты. Проводит недельные воркшопы, уже 2 раза с ними приезжал в Россию по приглашению JetBrains. Свою реализацию (MuKanren.jl) я писала как раз после одного из них.
Упустил вторую часть комментария. А вот по ней, как раз, несколько вопросов:
1) Нет ли желания актуализировать код MuKanren.jl, сделать его запускаемым на Julia 1.x и добавить комментариев к использованию на каких-нибудь простых прикладных задачках?
2) Статья в формате хабры о логическом программировании на Julia, очень, даже, была бы интересна
3) По-моему это неплохая тема для доклада на митапе