Ich möchte die Vorkommen eines Elements in einer Liste zählen. Wenn es eines gibt, ist das eindeutige Prädikat wahr, andernfalls falsch. Wenn das Element jedoch mehrmals vorkommt, findet Prolog es wahr. Ich weiß nicht, was ich tun soll ...

count([], X, 0).
count([X|T], X, Y) :- count(T, X, Z), Y is 1+Z, write(Z).
count([_|T], X, Z) :- count(T, X, Z).

unique(St, [Y|RestList]) :- count([Y|RestList], St, N), N =:= 1.