Assertion: cut | /r/CapableOf | avoid unnecessary computations
Facets:
Source sentences:
text: It is best used to prevent unwanted backtracking, including the finding of extra solutions by Prolog and to avoid unnecessary computations.