Was sind Terme?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter einem Termbaum?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter einem Hauptfunktor?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter der Stelligkeit bzw. der Arität von Funktoren?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Schreibe folgenden Term in Prologschreibweise auf und bilde anhand dessen den Termbaum!
$(17 / 4) * (12 + 11)$
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter Unifikation?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter Substitution?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter einem Unifikator?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Gibt zu folgender Anfrage die jeweiligen Unifikationsschritte an:
?- date(D, M, 2009) = date(D1, apr, Y1),
date(D, M, 2009) = date(14, M, Y).
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wozu dient der Occurs Check?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter der prozeduralen Bedeutung eines Prolog Programms?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter der deklarativen Bedeutung eines Prolog Programms?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter dem Inferenz-Prozess in Prolog?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Anfrage G logische Konsequenz eines Programms P mit C :- $A_1 , A_2 , ... , A_n$ ?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist die formale Vorgehensweise der Schlussregel?
Gegeben:
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wende den Inferenz-Prozess mit Hilfe der Schlussregel an! Ist die Anfrage eine logische Konsequenz des Programms?
Gegeben:
mensch(sokrates).
fehlbar(X) :- mensch(X).
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wende den Inferenz-Prozess mit Hilfe eines Ableitungsbaumes an! Ist die Anfrage eine logische Konsequenz des Programms?
Gegeben:
foo(1). baz(1,2). baz(1,3). gak(3).
foo(X) :- baz(X,Y), gak(Y).
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.