On Thu, 4 Jul 2019 16:22:36 -0700, M McDonough <foolkingcrown at gmail.com> wrote: > What you probably want is to use if/then/conditionals instead of a > disjunction. This piece of advice, and many others, can be found in the Prolog to Mercury transition guide. The original poster should have a look at it. Zoltan.