PPT-Folie
Fragen an den Prolog-Interpreters:
Um die Frage besitzt(john,gold) beantworten zu können, durchsucht Prolog die Wissensbasis von oben nach unten nach einem passenden Fakt, und wird in der 1. Zeile fündig. Darum antwortet Prolog mit yes was so viel wie „bewiesen“ bedeutet. Auf die Frage mag(joe,fleisch) antwortet Prolog mit no, was „nicht beweisbar“ bedeutet, da es keinen passenden Fakt finden kann.