clojure-core.logic

Estoy leyendoel Intrigante Razonado . Tengo cierta intuición sobre cómo funciona conde. Sin Embargo, no puedo encontrar una ... rece tener ejemplos en lugar de definiciones. ¿Existe una definición formal de conde, conda, condi, condu ¿en alguna parte?