3 ms·
I mean how does the pruning constraint tree search applied in prolog implementations differ from the tableaux method
by nurettin 9y ago
I mean how does the pruning constraint tree search applied in prolog implementations differ from the tableaux method
- nurettin 9y agoAfter some research, the tableaux method seems to require full coverage, which would only converge with the search tree if all conditions have to be exhausted.