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