I can only think that Prolog is trying to find multiple solutions. I\'ve made a basic predicate ascending/1 to check if a list is in ascending order, on https://swi
ascending/1