/* File: exgram0.pl  (in C://Mihaela/Prologmm/exgramo.pl)
   Author: Mihaela Malita
   Title: Grammar for L(G)= a^n b^n 
*/ 
              
        write_grammar:- write('Grammar is for a^n b^n '), nl. 

	s --> [a],[b].
	s --> [a],s,[b].