Wissensbasis: arbeitet_in(meier, raum1). arbeitet_in(mueller, raum1). arbeitet_in(otto, raum2). telefon_existiert(raum2). anrufbar(P) :- arbeitet_in(P,R), telefon_existiert(R). Anfrage ?- anrufbar(Wer).