(use kanren) (load "zebra.scm") (load "lips.scm")