3 ms·
> All goals of a clause are executed in parallel, in an arbitrary order. That's way cool, but how would backtracking work then, especially if multiple goals in
by alfiedotwtf 5y ago
> All goals of a clause are executed in parallel, in an arbitrary order.
That's way cool, but how would backtracking work then, especially if multiple goals in a clause end up failing?
- Avshalom 5y agoYou don't back track, you just try everything from scratch