Laden von Dateien in Prolog

Werde ich durch einen Prolog tutorial. Es sagt mir, ich kann andere Last prolog-Dateien, indem Sie Folgendes eingeben:

[filename].

aber jedes mal, wenn ich versuche dies immer bin

ERROR: load_files/2: Arguments are not sufficiently instantiated.

Sich die Datei im gleichen Verzeichnis wie die einer arbeite.

Hier ist eine Kopie der gesamten Abfrage und Fehlermeldung:

12 ?- [KB5].

ERROR: load_files/2: Arguments are not sufficiently instantiated

Was mache ich falsch?

InformationsquelleAutor der Frage cubearth | 2010-12-21

  1. 23
    $ cat junk.pl
test(ok).

$ prolog
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.8.0)
Copyright (c) 1990-2009 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- [junk].
% junk compiled 0.00 sec, 24 bytes
true.

    Es scheint zu funktionieren gut für mich. Natürlich bin ich mit einem atom für meinen Datei-Namen, nicht eine variable. (KB5 ist ein Variablen-Namen, nicht ein atom.) Versuchen Sie zunächst ['KB5'] und sehen, ob das hilft. Nächster Versuch [kb5] und sehen, ob das hilft. Schließlich versuchen Sie, eine absolute minimal-Beispiel, wie ich Sie zur Verfügung gestellt, und sehen, ob Sie geladen werden kann, die Art und Weise.

    Bearbeitet, um hinzufügen:

    $ cp junk.pl JUNK.pl
$ prolog
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.8.0)
Copyright (c) 1990-2009 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- [JUNK].
ERROR: load_files/2: Arguments are not sufficiently instantiated
?- ['JUNK'].
% JUNK compiled 0.00 sec, 1,656 bytes
true.

    Sieht es aus wie das atom-problem in der Tat. Verwenden ['KB5'] und dein Fehler wird wahrscheinlich gehen Weg.

    InformationsquelleAutor der Antwort JUST MY correct OPINION

  2. 9

    Obwohl die andere Methode funktioniert. Hier ist eine alternative:

    ?- consult('C:/User/Folder/myRules.pl').

    Sollte den trick tun!

    InformationsquelleAutor der Antwort Scott Gramig

  3. 0

    Nicht sagen, welche Plattform Sie verwenden. Bei mir läuft auf Raspberry Pi und dem prolog-Dateien laden in Ordnung, wenn Sie in den Pi-Verzeichnis. Ich konnte nicht Holen Sie sich Sie zu laden in der Pi/Dokumente-Verzeichnis. So experimentierte ich und erstellt einen "prolog" - Ordner im Pi-Verzeichnis und legte meine load.pl Datei da, und nun consult arbeitet.

    consult(prolog/load).

    InformationsquelleAutor der Antwort Keith Aymar

Schreibe einen Kommentar