Backtracking issue on fail

[moraneus]

I tried to explain in another post of mine, but I opened a new one.
Here is the refernce

Coding problem

Further to your help, I was tried to do something like this. First of all, thank you for your detailed answers and your patience, I learn a lot from this. I have this problem that my output is duplicated to many times instead to print one time HERE I know this is not like you told me, I will fix it at the end, according to your explanations. In my code I have few facts and then I want to check if x_lt_y for all y If is true, I want to print an HERE and then stop w…

Assume I have some facts that if they happened, It should fail (like blacklist of facts).
I want to check for the new fact that I entered if it in the blacklist.
But now, for this new fact, I have a few checks that should made be done.
So it is important for me to find all failures.