s(S1,S2) :- np(S1,S3), vp(S3,S4), np(S4,S2).
s(S1,S2) :- np(S1,S3), vp(S3,S4), np(S4,S5), prep(S5,S6),np(S6,S2).
np(S1,S2) :- det(S1,S3), adj(S3,S4), noun(S4,S2).
vp(S1,S2) :- verb(S1,S2).
vp(S1,S2) :- verb(S1,S3), prep(S3,S2).
det([a|S],S).
det([the|S],S).
adj([big|S],S).
adj([small|S],S).
adj([nasty|S],S).
noun([man|S],S).
noun([dog|S],S).
noun([house|S],S).
verb([takes|S],S).
verb([walks|S],S).
verb([hits|S],S).
prep([at|S],S).
prep([to|S],S).
prep([in|S],S).
prep([into|S],S).
