4 ms·
"Divide and conquer recursive implementation" - so is that backward-chaining inference then? Or something different? https://en.wikipedia.org/wiki/Backward_cha
by jimsmart 10y ago
"Divide and conquer recursive implementation" - so is that backward-chaining inference then? Or something different?
https://en.wikipedia.org/wiki/Backward_chaining https://en.wikipedia.org/wiki/Backward_chaining
- parhamp 10y agoThe validator part of the program almost uses backward-chaining implementation. The "list" of goals" for the backward-chaining is created by the definer part of the program which uses a recursive function.