satz(S):- append(NP,VP,S), nominalphrase(NP), verbalphrase(VP).

nominalphrase(NP):- append(A,N,NP), artikel(A), nomen(N).

verbalphrase(VP):- verb(VP).
verbalphrase(VP):- append(V,NP,VP), verb(V), nominalphrase(NP).

artikel([der]).
artikel([einen]).

nomen([mann]).
nomen([apfel]).

verb([isst]).
