Как перевести Prolog DCG в стандартные предложения Prolog:
nombres(nom(N),Number,Genero,Traduccion)-->
[N],
{
atom_codes(N, NombreEntero),
append(Nombre, Terminacion, NombreEntero),
atom_codes(Nom, Nombre),
es_nombre(Nom, Genero, Traduc),
atom_codes(Ter, Terminacion),
end_name(Ter, Number),
atom_codes(Traduc, TRaux),
atom_codes(Ter, TEaux),
append(TRaux, TEaux, Tra),
atom_codes(Traduccion, Tra)
}.
На данный момент у меня есть:
nombres(N,Number,Genero,Input,Traduccion):-
'C'(Input,N,Traduccion),
atom_codes(N, NombreEntero),
append(Nombre, Terminacion, NombreEntero),
atom_codes(Nom, Nombre),
es_nombre(Nom, Genero, Traduc),
atom_codes(Ter, Terminacion),
end_name(Ter, Number),
atom_codes(Traduc, TRaux),
atom_codes(Ter, TEaux),
append(TRaux, TEaux, Tra),
atom_codes(Traduccion, Tra).
Я знаю, что перевод возможен, но на примерах, которые я видел, я не могу понять, как это сделать.