Trampoline Evaluation
Links to this note
miniKanren