Проблема DCG для перевода в стандартные предложения Prolog - PullRequest
0 голосов
/ 04 ноября 2018

Как перевести 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).

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

...