Werkzeug · Q4.2

Prolog-Labor

Wissensbasen modellieren, Anfragen auswerten und Herleitungen untersuchen

In Prolog wird nicht zuerst ein Lösungsweg vorgeschrieben. Fakten und Regeln beschreiben Wissen über eine Miniwelt. Eine Anfrage setzt eine Inferenzmaschine in Gang, die passende Herleitungen und Variablenbelegungen sucht.

Geführtes Labor: Eingabe → Interaktion → Beobachtung

Modelliere eine Miniwelt, konsultiere ihre Wissensbasis und untersuche, wie die Anfrage per Rückwärtsschließen und Backtracking ausgewertet wird.

Das D-Book-Prolog-Labor bildet einen curricularen Prolog-Kern ab. Es ist keine vollständige SWI-Prolog-Umgebung.

Fachbeziehungen abfragen

Lädt das reduzierte Fachnetz und fragt Themen in Q4.2 ab.

Eine Entwicklungslinie verfolgen

Lädt eine neutrale historische Folge und öffnet die Herleitung.

Eine Verbindung suchen

Prüft eine indirekte Verkehrsverbindung rekursiv.

Eine Liste zerlegen · LK

Bindet Kopf und Rest einer Liste mit einem Muster.

Eingabe

Prolog-Aufgabenmodus
Aufgabe

Wähle eine Aufgabe aus dem Kompetenzpfad.

Interaktion

Tab rückt ein · Strg/Cmd + Enter konsultiert und führt die Anfrage aus.

Beobachtung / Output

Wissensbasis noch nicht konsultiert.

Wissensbasis

Anfrageergebnis

Noch keine Anfrage ausgeführt.

Miniwelt-Ansicht

Herleitung
Führe eine Anfrage aus, um die Herleitung zu starten.
    Deklarativ

    Die Wissensbasis beschreibt Beziehungen und Bedingungen. Die Suchstrategie des Interpreters bestimmt, wie Herleitungen gefunden werden.

    Closed World

    false bedeutet hier: aus der aktuellen Wissensbasis nicht herleitbar.

    Prädikat / Stelligkeit

    direkter_bezug/2 bezeichnet Name und Anzahl der Argumente.

    Variablen

    Atome beginnen in der Regel klein, Variablen groß. _ steht für eine anonyme Variable.

    Regeln und Rekursion

    Der Regelkopf beschreibt die Folgerung. Der Regelrumpf enthält Bedingungen; ein nichtrekursiver Fall lässt Herleitungen enden.

    Backtracking

    Scheitert ein Herleitungsweg, kehrt die Inferenzmaschine zur letzten offenen Alternative zurück.