Why the answer contains a `false`?

[peter.ludemann]

@Nicholas_Hubbard

I wrote a Prolog program that avoids these benign choice points using cuts. In hindsight it was a total mistake

You might want to try the new “single sided unification” (the => operator). Here’s a link to an example and also to the manual: Example of refactoring code to SSU