Chargement de fichiers dans Prolog

Je suis passer par un Prologue de tutoriel. Il me dit que je peut charger d'autres prologue de fichiers en tapant:

[filename].

mais chaque fois que j'essaie cette reçois

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

Le fichier est dans le même répertoire que l'on travaille dans.

Voici une copie de l'intégralité de la requête et de l'erreur:

12 ?- [KB5].

ERROR: load_files/2: Arguments are not sufficiently instantiated

Ce que je fais mal?

source d'informationauteur cubearth

  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.

    Il semble bien fonctionner pour moi. Bien sûr, je suis à l'aide d'un atome pour mon nom de fichier, pas une variable. (KB5 est un nom de variable, pas un atome.) Essayez d'abord de ['KB5'] et voir si cela aide. Prochain essai [kb5] et voir si cela aide. Enfin, essayez un minimum d'exemple comme celui que j'ai fourni et voir si vous pouvez vous charger de cette façon.

    Modifiées afin d'ajouter:

    $ 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.

    Il ressemble à l'atome problème en effet. Utilisation ['KB5'] et votre erreur probablement disparaître.

  2. 8

    Bien que l'autre méthode fonctionne. Voici une alternative:

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

    Qui devrait faire l'affaire!

  3. 0

    N'ai pas dit ce que la plateforme que vous utilisez. Je suis en cours d'exécution sur le Raspberry Pi et le prologue de fichiers se chargent de l'amende si ils sont placés dans le Pi répertoire. Je ne pourrais l'obtenir pour charger dans le Pi/répertoire Documents. Alors je me suis lancée et a créé un “prologue” dans le dossier Pi répertoire et placé mes load.pl fichier et maintenant consulter les ouvrages.

    consult(prolog/load).