Gegeben ist das Programm:
$schätzt(kurt,S) :- studentVon(S,kurt).$
$studentVon(S,T) :- hört(S,C), liest(T,C).$
$liest(kurt,logik). hört(karla,logik).$
Zeige das die Klausel $schätzt(kurt,N)$ logische Konsequenz des Programmes ist!
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.