% reconhecedor.pl
% Luiz Arthur Pagani
% arthur@ufpr.br

s(S) :-
   append(SN, SV, S),
   sn(SN),
   sv(SV).

sn(SN) :-
   append(Det, N, SN),
   det(Det),
   n(N).

sv(SV) :-
   append(V, SN, SV),
   v(V),
   sn(SN).

det([a]).
det([o]).

n([homem]).
n([mulher]).

v([viu]).