Übungen

katze(freddie).
staubsauger(noo_noo).
maus(micky).
hund(wuff).
schmusetuch(kuschel).
vogel(trill).
auto(herbie).
computer(hal).

grau(wuff).
grau(hal).
grau(noo_noo).
grau(herbie).

fusselig(freddie).
fusselig(trill).

fusselig(micky).
fusselig(kuschel).

waschbar(X):-

   schmusetuch(X).

waschbar(X):-

   maus(X).

waschbar(X):-

   hund(X).

waschbar(X):-

   auto(X).

   katze(X).

nicht_waschbar(X):-

   computer(X).

nicht_waschbar(X):-

   staubsauger(X).

nicht_waschbar(X):-

   vogel(X).

allergen(X):-

   (grau(X)  ; fusselig(X)).

wird_gewaschen(X):-

   allergen(X),

   waschbar(X).

wird_gesaugt(X):-

   allergen(X),

   nicht_waschbar(X).