https://corneliashine.blogspot.com/2021/02/clojure-core-logic-tutorial.html