Логическое программирование в Lua?

Есть ли способ выполнять логическое программирование (подумайте о Prolog) в Lua?

В частности: есть ли какой-либо модуль Lua для логического программирования (реализация miniKanren будет лучшей, но это не обязательно)? Потому что я не смог найти ни одного [1] .А если нет, то есть ли какие-нибудь известные (желательно опробованные) способы логического программирования в Lua?

Также: есть ли кто-нибудь, кто пробовал делать что-то вроде логического программирования в Lua?

[1] Пока что я нашел только сообщение в блоге , в котором упоминается возможность написания такого сообщения на Metalua, но я бы предпочел увидеть такой, совместимый со стандартным Lua.