/****************************************************************

 File: aNbN.pl

 Patrick Blackburn, 1999.
 Kristina Striegnitz, 2002.

 This file contains the specification for the context free
 grammar generating the language a^nb^n\{}.

 You need a parser/recognizer that declares the following 
 operator:

 :- op(700,xfx,--->).
****************************************************************/

s ---> [left,right].
s ---> [left,s,right].

lex(a,left).
lex(b,right).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% That's all, folks!
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%