MiniKanren nullo

(null? ()) ;; #t

(null? (1 2 3)) ;; #f 

(fresh (x)
  (nullo x)) ;; x := ()

definition

(define nullo
  (lambda (x)
    (== () x)))