Macro to call other macro and recursively passing parameters one by one

macro2cmacro.hy

; singular variable setter
(defmacro defproposition [symbol]
  ; this is simplified here for demonstration
  `(setv ~symbol None))

; multiple variable setter
(defmacro defpropositions [&rest args]
  (if (len args)
      `(do
         (defproposition ~(get args 0))
         (defpropositions ~@(cut args 1)))))

; should create all variables at once
(defpropositions P Q R)

(print P Q R) ; -> None None None