Gramática

% contar(C, L, L2, N): Retorna en N la cantidad de veces que el carácter C aparece en la cabeza de la lista. L2 contiene la lista sin los caracteres C que se encuentren en su cabeza
contar(_, [], [], 0).
contar(C, [C|T], L, Cont2) :- contar(C, T, L, Cont), Cont2 is Cont + 1.
contar(_, L, L, 0).

% pertenece(L): Determina si la lista de carácteres L pertenece a la gramática G
perteneceG(L) :-
    contar(a, L, L1, ContA),
    contar(b, L1, L2, ContB),
    contar(c, L2, [], ContC),
    ContC2 is ContA + ContB,
    ContB > 0,
    ContC2 =:= ContC.