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