verdaechtig(Y) :- beschuldigt(X,Y).
verdaechtig(Y) :- belastet(X,Y).
verdaechtig(Y) :- entlastet(X,Y), belastet(Z,X).

unverdaechtig(Y) :- \+ verdaechtig(Y).
   
entlastet(Y) :- hat_alibi(Y).
entlastet(Y) :- entlastet(X,Y), unverdaechtig(X).

beschuldigt(karl,willi).   beschuldigt(emil,willi).
belastet(fingerabdruck,karl). entlastet(karl,emil).
hat_alibi(willi).