MiniKanren core reify-name

(define reify-name
  (lambda (n)
    (string -> symbol ;; Convert the following string to a symbol
      (string-append "_" " " (number -> string n))))) ;; Convert n from a number to a string

;; end result
;; > n := 0
;; > (reify-name n)
;; > _ 0