Вот эта бумага: Уильям Э. Берд, Эрик Холк, Дэниел П. Фридман, 2012 miniKanren, Прямая трансляция и без тегов Генерация Куайна с помощью реляционных интерпретаторов http://webyrd.net/quines/quines.pdf Которая использует логическое...

Хотел бы выполнить следующее обратное преобразование из выражений SKI в лямбда-выражения: L[I] = λx.x L[K] = λx.λy.x L[S] = λx.λy.λz.(x z (y z)) L[(E₁ E₂)] = (L[E₁] L[E₂]) Преобразование не требует какого-либо бета-уменьшения. Но все же...

Я хотел бы спросить вас о том, какую формальную систему было бы интереснее реализовать с нуля/реверс-инжиниринг. Я просмотрел некоторые существующие и открытые проекты систем логического/декларативного программирования. Решил на досуге придумать...