# Why the answer contains a \`false\`?

**URL:** <https://swi-prolog.discourse.group/t/why-the-answer-contains-a-false/5425>\
**Category:** Predicate\
**Tags:** discussion, how-to\
**Created:** [May 24, 2022, 6:41pm UTC](https://swi-prolog.discourse.group/t/why-the-answer-contains-a-false/5425 "2022-05-24T18:41:11Z")\
**Posts on this page:** 1\
**Showing post:** 11

<div class="post-metadata">

**Author:** ![peter.ludemann](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/peter.ludemann/32/48_2.png) [@peter.ludemann](https://swi-prolog.discourse.group/u/peter.ludemann)\
**Post date:** [May 25, 2022, 5:12pm UTC](https://swi-prolog.discourse.group/t/why-the-answer-contains-a-false/5425/11 "2022-05-25T17:12:31Z")

</div>

> [@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](https://swi-prolog.discourse.group/t/example-of-refactoring-code-to-ssu/4713)

---

_[View the full topic](https://swi-prolog.discourse.group/t/why-the-answer-contains-a-false/5425)._