Das Prinzip von PROLOG

Fakten

Regeln

Wissensbasis

Fragen

bilden

Die gestellten Fragen werden aufgrund der Fakten und Regeln (Wissensbasis) durch die Prolog-Interferenzmaschine entweder als beweisbar (yes) oder als nicht beweisbar ausgewertet (no).

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen