cl-kanren-trs