Wie zum ausführen von prolog-code?

Vorausgesetzt, Sie verwenden SWI-Prolog

Schritt 1: Legen Sie Ihr Wörterbuch in eine Textdatei. Hier ist ein Beispiel-Wörterbuch:

dog(rover).
dog(felix).
dog(benny).

Schritt 2: Titel-Wörterbuch "something.pl" - ich nannte diese eine dogs.pl.

Schritt 3: Öffnen Sie SWI-Prolog von der Befehlszeile aus. In linux verwende ich den Befehl swipl auf der Kommandozeile. Einmal SWI-Prolog gestartet wird, erscheint eine Befehlszeile, die sieht aus wie ?-

Schritt 4: In SWI-Prolog laden Sie Ihr Wörterbuch, indem Sie mit der consult Befehl etwa so:

?- consult('dogs.pl').

Schritt 5: Nun, da Ihr Wörterbuch geladen ist, können Sie es verwenden. Hier ist ein Beispiel mit unserem test-Lexikon über Hunde:

?- dog(rover).
    true.
    dog(X).
    X = rover ;
    X = felix ;
    X = benny .

Sollte ziemlich viel tun, es so weit wie immer Ihre prolog-Programme zu laden und auszuführen.

Schließlich, hier sind zwei links für die, wie andere Prolog:

1. VERSUCHEN SIE, LOGIK-PROGRAMMIERUNG! EINE SANFTE EINFÜHRUNG IN PROLOG
2. Prolog: Ein Tutorial von James Lu und Jerud Mead (PDF)

Gibt es keinen offiziellen standard für die Prolog-built-in-Prädikate, kompilieren und laden einer Quelldatei. Die gebräuchlichsten sind consult(File), reconsult(File), und load_files(Files, Options). Die Verknüpfung [File| Files] ist auch oft vorhanden. Sie müssen in der Dokumentation des Prolog-system Sie verwenden. Werden Sie sich bewusst, dass auch für die Allgemeinen, oben die Semantik unterscheiden sich oft von system zu system.