I'm trying to write a prolog program that determines whether one list (N is the list length) is a permutation of the [1,2,..,N] list. Trying to get perm([1,2,3,4]) -> true, and

perm([1,2,4,4]) -> false.