ausl([]).
ausl([A|R]):-write(A),write(' '),ausl(R).

exp(F):-clause(dat(F,[#],_),true),write("Diagnose: "),ausl(F),nl.
exp(F):-ausl(F),write(": "),readln(A),clause(dat(F,A,Fn),true),exp(Fn).
exp(F):-write("Antwort wiederholen oder #: "),readln(A),write("Neue Frage: "),
         readln(Fn),asserta(dat(F,A,Fn)),exp(Fn).
anf:-exp(["krank"]).