Как работает эта программа на Prolog?

Question

[SerKonRu]

Дана программа на Prolog. Объясните, пожалуйста, как она работает?

count(_,[],0).

count(X,[X|L],N):-count(X,L,N2),N is N2 + 1.

count(X,[_|L],N):-count(X,L,N).
p([],_,[]).
p([X|V],N,[X|L]):-count(X,[X|V],K),K >= N, delete(V,X,V2),p(V2,N,L).

p([X|V],N,L):-delete(V,X,V2),p(V2,N,L).

Данная программа удаляет из входного списка все элементы, которые встречаются в этом списке более чем N раз.

Comments

[sudo rm -rf /]

А на какой реализации Prolog написана?
Вообще всё зависит от того, какой предикат вызываете.