predc
added
ns
clojure.core.logic
type
function
(predc x p) (predc x p pform)