1.1 The grammar

% declare ==> as an infix operator

 :- op(1050, xfx, `==>').   

% The grammar

s ==> np, vp.
np ==> det, n.
vp ==> v, np.

det ==> the.
n ==> dog.
n ==> cat.
v ==> chased.