% Startsymbole:

start_symbol(s(pl)).
start_symbol(s(sg)).

% Grammatikregeln:

:- op(1100,xfx,'--->').

s(sg) ---> a(sg), b(sg).
s(pl) ---> a(sg), b(pl).
b(pl) ---> b(sg), [c], b(pl).
b(pl) ---> b(sg), a(sg).

% Lexikon:

word(a,a(sg)).
word(b,b(sg)).
% word(b(sg),b(sg)). % (f. Kategorie in der Eingabe)