Упустил вторую часть комментария. А вот по ней, как раз, несколько вопросов:
1) Нет ли желания актуализировать код MuKanren.jl, сделать его запускаемым на Julia 1.x и добавить комментариев к использованию на каких-нибудь простых прикладных задачках?
2) Статья в формате хабры о логическом программировании на Julia, очень, даже, была бы интересна
3) По-моему это неплохая тема для доклада на митапе
можно попробовать 🙂
Правда, по п.1 не обещаю, что очень быстро. В дебиане сейчас выпиливают из unstable-версии дефолтный python 2, из-за этого много всего сломалось, а я там немного помогаю с пакетами и уже пообещала посмотреть парочку тех, которыми раньше уже занималась. То есть ближайшее свободное время у меня пока занято