We're updating the issue view to help you get more done.Â
The docstring of condu is incorrect or at least confusing
Description
The docstring of condu reads
Committed choice. Once the head (first goal) of a clause has succeeded, remaining goals of the clause will only be run once. Non-relational.
The sentence with respect to the once-semantics isn't correct. The head (first goal) can succeed at most once whereas the remaining goals of the clause committed to can succeed an unbounded number of times. The following example demonstrates that.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(defn y-or-n [x]
(conde
[(== x :y)]
[(== x :n)]))
(run* [x y]
(condu
[(y-or-n x) (== y 1)] ;; (y-or-n x) succeeds once because it's the head goal
[(== x :y) (== y 2)]))
;;=> ([:y 1])
(run* [x y]
(condu
[(== y 1) (y-or-n x)] ;; (y-or-n x) succeeds twice because it's not the head goal
[(== x :y) (== y 2)]))
;;=> ([:y 1] [:n 1])The current behavior shown in the example is in compliance with miniKanren on Scheme, so it's just the docstring which isn't right. The implementation is correct.
Environment
None
