mk.scm

(define-syntax Zzz
  (syntax-rules ()
    ((_ g) (lambda (s/c) (lambda () (g s/c))))))

(define-syntax conj+
  (syntax-rules ()
    ((_ g) (Zzz g))
    ((_ g0 g ...) (conj (Zzz g0) (conj+ g ...)))))

(define-syntax disj+
  (syntax-rules ()
    ((_ g) (Zzz g))
    ((_ g0 g ...) (disj (Zzz g0) (disj+ g ...)))))

(define-syntax fresh
  (syntax-rules ()
    ((_ () g0 g ...) (conj+ g0 g ...))
    ((_ (x0 x ...) g0 g ...)
     (call/fresh
      (lambda (x0)
        (fresh (x ...) g0 g ...))))))

(define-syntax conde
  (syntax-rules ()
    ((_ (g0 g ...) ...) (disj+ (conj+ g0 g ...) ...))))

syntax-rules.clj

(defmacro define-syntax-rules
  [name & patterns]
  `(do
     (def ~name
       (fn ~name [~'&form ~'&env & body#]
         (m/rewrite ~'&form ~@patterns)))
     (. (var ~name) (setMacro))
     (var ~name)))

(define-syntax-rules Zzz
  (_ ?g) (fn [s] (fn [] (?g s))))

(define-syntax-rules conj+
  (_ ?g) (Zzz ?g)
  (_ ?g0 . !g ...) (conj (Zzz ?g0) (conj+ . !g ...)))

(define-syntax-rules disj+
  (_ ?g) (Zzz ?g)
  (_ ?g0 . !g ...) (disj (Zzz ?g0) (disj+ . !g ...)))

(define-syntax-rules fresh
  (_ [] ?g0 . !g ...) (conj+ g0 . !g ...)
  (_ [?x0 . !x ...] ?g0 . !g ...)
  (call-fresh
   (fn [?x0]
     (fresh [. !x ...] g0 . !g ...))))

(define-syntax-rules conde
  (_ . [!g ..!n] ... ) (disj+ . (conj+ . !g ..!n) ... ))