Also ich sag mal nein - aber nicht 100% sicher. Beziehungsinfos können imo nie als Ergebnis kommen. Du hast ja nur Faktion und Implikation ( :- ). Aber wie gsagt - nicht 100% sicher - bin kein Fan logischer Programmierung --
Ja, normalerweise würde man fragen wollen: ist_ein(X,saenger). X = heino; No
Aber ich will eben wissen welches Prädikat zu heino und saenger gehört. Wenn ich das richtig verstanden habe, soll das ohne zusätzliche Angaben wie heine(ist_ein,saenger) oder sonstwas funktionieren