-predc

added

ns
clojure.core.logic

type
function

(-predc x p) (-predc x p pform)