it-swarm.com.ru

minikanren

Каковы основные технические различия между Prolog и miniKanren в отношении логического программирования?

Единая структура объединения в миниканрен