So erstellen Sie eine Tatsache in SWI-Prolog?

Ich will einfach nur, um etwas zu schaffen wie: like(x,y).
Ich habe versucht, für eine lange Zeit und bin wirklich frustriert, könnte jemand bitte sagen Sie mir, wie es zu tun???!!!

InformationsquelleAutor Hope7 | 2010-11-03
  1. 43

    Ich nehme an, Sie sind mit swi-interaktiv und versucht, die Tat gibt Sie eine Fehlermeldung etwa so:

    1 ?- like(x, y).
ERROR: toplevel: Undefined procedure: like/2 (DWIM could not correct goal)

    Seit der Tat nicht in der Datenbank vorhanden.
    Wenn dies der Fall ist, versuchen die Geltendmachung der Tat zuerst:

    2 ?- assert(like(x,y)).
true.

    Dann können Sie versuchen:

    3 ?- like(x, y).
true.

    Dieser Zeit ist die Abfrage erfolgreich, weil die Tat in der Datenbank vorhanden.

    Ein besserer Ansatz könnte sein, zu schreiben, Ihre Klauseln in die Datei & dann konsultieren Sie.
    Swi-prolog ist eine emacs-ähnlichen editor, die Sie bringen kann durch die Eingabe von

    emacs.

    in der Eingabeaufforderung. Oder verwenden Sie Ihren editor, & dann konsultieren Sie die Datei. Swi-prolog
    kommt mit einer Menge von grafischen tools, die vielleicht helfen; schauen Sie in die Anleitung
    für weitere details.

    • Danke für Eure Hilfe!
    • wenn eine Antwort gepostet die Ihr problem löst, bitte klicken Sie auf das Häkchen, um es zu akzeptieren.
    • Haben Prolog akzeptieren das Prädikat ohne behaupten, geben Sie dynamic(like/2). Dann erhalten Sie false statt eines Undefined procedure exception*, bis Sie assert ein wie/2 Tat.
    • assert/1 ist eine häufige, aber nicht-standard-Prädikat. Für Portabilität, verwenden Sie stattdessen entweder asserta/1 oder assertz/1.
    InformationsquelleAutor Roman
  2. 0

    Können Sie Fakten schaffen, eine prolog-Datei und laden Sie Sie mit consult-Funktion.

    Beispielsweise

    animals.pl

    bigger(elephant, tiger).
bigger(tiger, rabbit).
bigger(rabbit, sparrow).
bigger(sparrow, ant).

    Können Sie auch geltend machen, die Funktion zu definieren, die Fakten in prolog-terminal.

    1 ?- assert(bigger(elephant, rabbit)).
true.

    Finden Sie diese link, erhalten Sie weitere Informationen.

    InformationsquelleAutor Hari Krishna
Schreibe einen Kommentar