Schlussregel (Beispiel)
Frage:
Wende den Inferenz-Prozess mit Hilfe der Schlussregel an! Ist die Anfrage eine logische Konsequenz des Programms?
Gegeben:
- Anfrage: ?- fehlbar(sokrates)
- Programm:
mensch(sokrates).
fehlbar(X) :- mensch(X).
- Unifikator: $\theta = \varnothing$
Antwort:
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Kommentare
Nur angemeldete Nutzer dürfen kommentieren.
Hier geht's zur kostenlosen Registrierung.