Hello SO,
I have a very weird problem with PROLOG. I have used it before, but it's been a while and I'm rusty. I have a list of variables and I need to ensure that none of them are the same.
I have tried:
use_module(library(bounds)).
all_different(A, B, C, D, 6, 8).
However, when I try this, I get an error saying that
…