В списке определить число элементов, равных последнему

DOMAINS
int=Integer
list=int*
PREDICATES
Print_last(list).
Print_last(L):-conc(L,[H|_]),write(H),nl.
GOAL
Print_last([1,2,3,4]).

код:DOMAINS
s=symbol*
PREDICATES
nondeterm man(symbol*)
nondeterm woman(symbol*)
nondeterm parent(symbol,symbol*)
nondeterm father(symbol,symbol*)
nondeterm mother(symbol,symbol*)
nondeterm child(symbol,symbol*)
nondeterm brother(symbol,symbol*)
nondeterm sister(symbol,symbol*)
nondeterm vnuk(symbol,symbol*)
nondeterm grandmother(symbol,symbol*)
nondeterm grandfather(symbol,symbol*)
nondeterm parent_parent(symbol,symbol*)
nondeterm ancestor(symbol,symbol*)
CLAUSES
 man("Alla").
 man("Vita").
 man("Yra").
 man("Yulia").
 man("Vladimir").
 woman("Valy").
 woman("Lida").
 woman("Tany").
 parent("Anna","Vladimir").
 parent("Yulia","Alla").
 parent("Yulia","Vita").
 parent("Lida","Valy").
 parent("Lida","Vita").
 parent("Vladimir","Tany").
 parent("Vita","Yra").
 parent("Vita","Luba").
 parent("Tany","Yra").
 mother(X,Y):-parent(X,Y),woman(X).
 father(X,Y):-parent(X,Y),man(X).
 child(Y,X) :-parent(X,Y).
 brother(X,Y):-parent(Z,X),parent(Z,Y),man(X).
 sister(X,Y) :-parent(Z,X),parent(Z,Y),woman(X). 
 grandmother(X,Y):-parent_parent(X,Y),woman(X).
 grandfather(X,Y):-parent_parent(X,Y),man(X).
 vnuk(X,Z) :-child(X,Y),child(Y,Z).
 parent_parent(X,Z):-parent(X,Y),parent(Y,Z).
 ancestor(X,Z) :-parent(X,Z).
 ancestor(X,Z) :-parent(X,Y),ancestor(Y,Z).
 Goal: mother(X,"Anna").