predc

added

ns
clojure.core.logic

type
function

(predc x p) (predc x p pform)