Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
% GLC_append.pl % Gramáticas libres de contexto mediante append. % José A. Alonso Jiménez <https://jaalonso.github.io> % Sevilla, 3-junio-2022 % ====================================================================== % oración(O) se verifica si O es una oración de la gramática % oración --> sintagma_nominal, sintagma_verbal % sintagma_nominal --> nombre % sintagma_nominal --> artículo, nombre % sintagma_verbal --> verbo, sintagma_nominal % artículo --> [el] % nombre --> [gato] % nombre --> [perro] % nombre --> [pescado] % nombre --> [carne] % verbo --> [come] % Por ejemplo, % ?- oración([el,gato,come,pescado]). % true % ?- oración([el,come,pescado]). % false. % ?- oración([el,perro,come,carne]). % true % ?- oración([el,perro,come,pienso]). % false. oración(O) :- sintagma_nominal(SN), sintagma_verbal(SV), append(SN,SV,O). sintagma_nominal(SN) :- nombre(SN). sintagma_nominal(SN) :- artículo(A), nombre(N), append(A,N,SN). sintagma_verbal(SV) :- verbo(V), sintagma_nominal(SN), append(V,SN,SV). artículo([el]). nombre([gato]). nombre([perro]). nombre([pescado]). nombre([carne]). verbo([come]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Sesión %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Traza del análisis % ================== % ?- maplist(trace,[oración,sintagma_nominal,sintagma_verbal,artículo,nombre,verbo]). % true. % % ?- oración([el,gato,come,pescado]). % T Call: oración([el,gato,come,pescado]) % T Call: sintagma_nominal(_10432) % T Call: nombre(_10432) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Call: sintagma_verbal(_12278) % T Call: verbo(_12808) % T Exit: verbo([come]) % T Call: sintagma_nominal(_13734) % T Call: nombre(_13734) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Redo: sintagma_verbal([come,pescado]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Exit: sintagma_verbal([come,carne]) % T Redo: sintagma_verbal([come,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_18802) % T Exit: artículo([el]) % T Call: nombre(_19728) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Exit: sintagma_verbal([come,el,gato]) % T Redo: sintagma_verbal([come,el,gato]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Exit: sintagma_verbal([come,el,perro]) % T Redo: sintagma_verbal([come,el,perro]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Exit: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Exit: sintagma_verbal([come,el,carne]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Call: sintagma_verbal(_25076) % T Call: verbo(_25606) % T Exit: verbo([come]) % T Call: sintagma_nominal(_26532) % T Call: nombre(_26532) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Redo: sintagma_verbal([come,pescado]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Exit: sintagma_verbal([come,carne]) % T Redo: sintagma_verbal([come,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_31600) % T Exit: artículo([el]) % T Call: nombre(_720) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Exit: sintagma_verbal([come,el,gato]) % T Redo: sintagma_verbal([come,el,gato]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Exit: sintagma_verbal([come,el,perro]) % T Redo: sintagma_verbal([come,el,perro]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Exit: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Exit: sintagma_verbal([come,el,carne]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Call: sintagma_verbal(_6012) % T Call: verbo(_6542) % T Exit: verbo([come]) % T Call: sintagma_nominal(_7468) % T Call: nombre(_7468) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Redo: sintagma_verbal([come,pescado]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Exit: sintagma_verbal([come,carne]) % T Redo: sintagma_verbal([come,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_12536) % T Exit: artículo([el]) % T Call: nombre(_13462) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Exit: sintagma_verbal([come,el,gato]) % T Redo: sintagma_verbal([come,el,gato]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Exit: sintagma_verbal([come,el,perro]) % T Redo: sintagma_verbal([come,el,perro]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Exit: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Exit: sintagma_verbal([come,el,carne]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Call: sintagma_verbal(_18810) % T Call: verbo(_19340) % T Exit: verbo([come]) % T Call: sintagma_nominal(_20266) % T Call: nombre(_20266) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Redo: sintagma_verbal([come,pescado]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Exit: sintagma_verbal([come,carne]) % T Redo: sintagma_verbal([come,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_25334) % T Exit: artículo([el]) % T Call: nombre(_26260) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Exit: sintagma_verbal([come,el,gato]) % T Redo: sintagma_verbal([come,el,gato]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Exit: sintagma_verbal([come,el,perro]) % T Redo: sintagma_verbal([come,el,perro]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Exit: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Exit: sintagma_verbal([come,el,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_30766) % T Exit: artículo([el]) % T Call: nombre(_31692) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Call: sintagma_verbal(_850) % T Call: verbo(_1380) % T Exit: verbo([come]) % T Call: sintagma_nominal(_2306) % T Call: nombre(_2306) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Exit: oración([el,gato,come,pescado]) % true % % ?- oración([el,come,pescado]). % T Call: oración([el,come,pescado]) % T Call: sintagma_nominal(_8674) % T Call: nombre(_8674) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Call: sintagma_verbal(_10520) % T Call: verbo(_11050) % T Exit: verbo([come]) % T Call: sintagma_nominal(_11976) % T Call: nombre(_11976) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Redo: sintagma_verbal([come,pescado]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Exit: sintagma_verbal([come,carne]) % T Redo: sintagma_verbal([come,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_17044) % T Exit: artículo([el]) % T Call: nombre(_17970) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Exit: sintagma_verbal([come,el,gato]) % T Redo: sintagma_verbal([come,el,gato]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Exit: sintagma_verbal([come,el,perro]) % T Redo: sintagma_verbal([come,el,perro]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Exit: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Exit: sintagma_verbal([come,el,carne]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Call: sintagma_verbal(_23318) % T Call: verbo(_23848) % T Exit: verbo([come]) % T Call: sintagma_nominal(_24774) % T Call: nombre(_24774) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Redo: sintagma_verbal([come,pescado]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Exit: sintagma_verbal([come,carne]) % T Redo: sintagma_verbal([come,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_29842) % T Exit: artículo([el]) % T Call: nombre(_30768) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Exit: sintagma_verbal([come,el,gato]) % T Redo: sintagma_verbal([come,el,gato]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Exit: sintagma_verbal([come,el,perro]) % T Redo: sintagma_verbal([come,el,perro]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Exit: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Exit: sintagma_verbal([come,el,carne]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Call: sintagma_verbal(_4250) % T Call: verbo(_4780) % T Exit: verbo([come]) % T Call: sintagma_nominal(_5706) % T Call: nombre(_5706) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Redo: sintagma_verbal([come,pescado]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Exit: sintagma_verbal([come,carne]) % T Redo: sintagma_verbal([come,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_10774) % T Exit: artículo([el]) % T Call: nombre(_11700) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Exit: sintagma_verbal([come,el,gato]) % T Redo: sintagma_verbal([come,el,gato]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Exit: sintagma_verbal([come,el,perro]) % T Redo: sintagma_verbal([come,el,perro]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Exit: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Exit: sintagma_verbal([come,el,carne]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Call: sintagma_verbal(_17048) % T Call: verbo(_17578) % T Exit: verbo([come]) % T Call: sintagma_nominal(_18504) % T Call: nombre(_18504) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Redo: sintagma_verbal([come,pescado]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Exit: sintagma_verbal([come,carne]) % T Redo: sintagma_verbal([come,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_23572) % T Exit: artículo([el]) % T Call: nombre(_24498) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Exit: sintagma_verbal([come,el,gato]) % T Redo: sintagma_verbal([come,el,gato]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Exit: sintagma_verbal([come,el,perro]) % T Redo: sintagma_verbal([come,el,perro]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Exit: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Exit: sintagma_verbal([come,el,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_29004) % T Exit: artículo([el]) % T Call: nombre(_29930) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Call: sintagma_verbal(_31252) % T Call: verbo(_31782) % T Exit: verbo([come]) % T Call: sintagma_nominal(_592) % T Call: nombre(_592) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Redo: sintagma_verbal([come,pescado]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Exit: sintagma_verbal([come,carne]) % T Redo: sintagma_verbal([come,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_5660) % T Exit: artículo([el]) % T Call: nombre(_6586) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Exit: sintagma_verbal([come,el,gato]) % T Redo: sintagma_verbal([come,el,gato]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Exit: sintagma_verbal([come,el,perro]) % T Redo: sintagma_verbal([come,el,perro]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Exit: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Exit: sintagma_verbal([come,el,carne]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Call: sintagma_verbal(_11940) % T Call: verbo(_12470) % T Exit: verbo([come]) % T Call: sintagma_nominal(_13396) % T Call: nombre(_13396) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Redo: sintagma_verbal([come,pescado]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Exit: sintagma_verbal([come,carne]) % T Redo: sintagma_verbal([come,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_18464) % T Exit: artículo([el]) % T Call: nombre(_19390) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Exit: sintagma_verbal([come,el,gato]) % T Redo: sintagma_verbal([come,el,gato]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Exit: sintagma_verbal([come,el,perro]) % T Redo: sintagma_verbal([come,el,perro]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Exit: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Exit: sintagma_verbal([come,el,carne]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Call: sintagma_verbal(_24744) % T Call: verbo(_25274) % T Exit: verbo([come]) % T Call: sintagma_nominal(_26200) % T Call: nombre(_26200) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Redo: sintagma_verbal([come,pescado]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Exit: sintagma_verbal([come,carne]) % T Redo: sintagma_verbal([come,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_31268) % T Exit: artículo([el]) % T Call: nombre(_32194) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Exit: sintagma_verbal([come,el,gato]) % T Redo: sintagma_verbal([come,el,gato]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Exit: sintagma_verbal([come,el,perro]) % T Redo: sintagma_verbal([come,el,perro]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Exit: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Exit: sintagma_verbal([come,el,carne]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Call: sintagma_verbal(_5684) % T Call: verbo(_6214) % T Exit: verbo([come]) % T Call: sintagma_nominal(_7140) % T Call: nombre(_7140) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([gato]) % T Exit: sintagma_verbal([come,gato]) % T Redo: sintagma_verbal([come,gato]) % T Redo: sintagma_nominal([gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([perro]) % T Exit: sintagma_verbal([come,perro]) % T Redo: sintagma_verbal([come,perro]) % T Redo: sintagma_nominal([perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([pescado]) % T Exit: sintagma_verbal([come,pescado]) % T Redo: sintagma_verbal([come,pescado]) % T Redo: sintagma_nominal([pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([carne]) % T Exit: sintagma_verbal([come,carne]) % T Redo: sintagma_verbal([come,carne]) % T Redo: sintagma_nominal([carne]) % T Call: artículo(_12208) % T Exit: artículo([el]) % T Call: nombre(_13134) % T Exit: nombre([gato]) % T Exit: sintagma_nominal([el,gato]) % T Exit: sintagma_verbal([come,el,gato]) % T Redo: sintagma_verbal([come,el,gato]) % T Redo: sintagma_nominal([el,gato]) % T Redo: nombre([gato]) % T Exit: nombre([perro]) % T Exit: sintagma_nominal([el,perro]) % T Exit: sintagma_verbal([come,el,perro]) % T Redo: sintagma_verbal([come,el,perro]) % T Redo: sintagma_nominal([el,perro]) % T Redo: nombre([perro]) % T Exit: nombre([pescado]) % T Exit: sintagma_nominal([el,pescado]) % T Exit: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_verbal([come,el,pescado]) % T Redo: sintagma_nominal([el,pescado]) % T Redo: nombre([pescado]) % T Exit: nombre([carne]) % T Exit: sintagma_nominal([el,carne]) % T Exit: sintagma_verbal([come,el,carne]) % T Fail: oración([el,come,pescado]) % false. % Generación de las oraciones % =========================== % ?- oración(O). % O = [gato,come,gato] ; % O = [gato,come,perro] % % ?- findall(_O,oración(_O),_L),length(_L,N). % N = 64. % Reconocimiento de las categorías gramaticales % ============================================= % ?- sintagma_nominal([el,gato]). % true % ?- sintagma_nominal([un,gato]). % false. % Generación de las categorias gramaticales % ========================================= % ?- findall(_SN,sintagma_nominal(_SN),L). % L = [[gato],[perro],[pescado],[carne], % [el,gato],[el,perro],[el,pescado],[el,carne]].