Instantly share code, notes, and snippets.
bruder_von(B,P) :- kind_von(B,E), kind_von(P,E), dif(B,P), männlich(B).