4 ms·
Not OP. He might be referring to the looping or enumeration pattern: evaluate some clause to get the first solution, “fail” to trigger backtracking and to get t
by i_don_t_know 3y ago
Not OP. He might be referring to the looping or enumeration pattern: evaluate some clause to get the first solution, “fail” to trigger backtracking and to get the next solution, etc. At the very end after printing all solutions, the program returns “No” because there are no solutions left.
- YeGoblynQueenne 3y agoMaybe, but that's known as a "failure-driven loop", in Prolog parlance, so it's still not clear to me how "success is represented as a logical false". Also, "false/0" is extra logical.