;; I'm not exactly sure what `defnc` is, but I know a little how to use it ;; The following gets all multiples of 3 in the `(range 50)` (defnc dev3c [x] (zero? (mod x 3))) (run* [x] (membero x (range 50)) (dev3c x))
Define a committed choice goal. See condu.
Define a soft cut goal. See conda.
Define a goal fn. Supports pattern matching. All patterns will be tried. See conde.
Define an anonymous constraint that can be used with the unifier: (let [oddc (fnc [x] (odd? x)...
defnc
