In Prolog programs there are two kinds of non-termination: Existential and universal non-termination.
I am new to Prolog and I am having a problems checking if two lists have exactly the same elements. …