Mam problem z zapisaniem takiej gramatyki w prologu:
\(\displaystyle{ E->SD\\
D->eSD|fSD|pusty\\
S->FR\\
R->gFR|hFR|pusty\\
F->L|aEb\\
L->C|CL\\
C->0|1|2|3|4|5|6|7|8|9}\)
Czy taki zapis jest poprawny?
\(\displaystyle{ %D->pusty\\
s1(X,Y):-X=Y.\\
%D->eSD\\
s1(X,Y):-X=[e|U],s1(U,V),t1(V,Y).\\
%D->fSD\\
s1(X,Y):-X=[f|U],s1(U,V),t1(V,Y).\\
%D->pusty\\
s1(X,Y):-X=Y.}\)