MiniKanren nullo
(null? ()) ;; #t
(null? (1 2 3)) ;; #f
(fresh (x)
(nullo x)) ;; x := ()
definition
(define nullo
(lambda (x)
(== () x)))
(null? ()) ;; #t
(null? (1 2 3)) ;; #f
(fresh (x)
(nullo x)) ;; x := ()
(define nullo
(lambda (x)
(== () x)))