Prolog σε Mac

[gon1332]

Έκανες σωστή εγκατάσταση του προγράμματος;

[Pap_Lam]

Απλά το κουμπί "συνέχεια" πατούσα.

Έβαλα άλλο path και μου έβγαλε prompt με το ερωτηματικό της Prolog
και πάτησα : | ?- consult(Test).

Και πήρα :

 

uncaught exception: error(instantiation_error,consult/1)

[gon1332]

Δεν γνωρίζω από OSX. Δεν υπάρχει κάποιος

τρόπος για να το ελέγξεις; Πήγαινε στο directory

όπου εγκαθιστάς τα προγράμματα για να δεις.

Πάτα:

[Test].

[Pap_Lam]

Παίρνω το ίδιο μήνυμα σφάλματος.
Πού πρέπει να βρίσκεται το Test ;
΄Οπου θέλω ;

[gon1332]

Πήγαινε στο directory στο οποίο έχεις το αρχείο σου

και εκεί ξεκίνα τον interpreter μέσω terminal.

[Pap_Lam]

Τα ίδια

[gon1332]

Όταν λέω να πας στο directory του Test εννοώ

μέσω terminal και μετά από εκεί να ανοίξεις τον

interpreter.

[Pap_Lam]

Βάζω cd ./Macintosh HD 2 για παράδειγμα αλλά λέει no such file or directory.

[gon1332]

Βάζω cd ./Macintosh HD 2 για παράδειγμα αλλά λέει no such file or directory.

cd ./Macintosh\ HD\ 2

Το κενό είναι ειδικός χαρακτήρας και για να τον αναπαραστήσεις

βάζεις ένα backslash από μπροστά.

[Pap_Lam]

Αποθήκευσα το αρχείο στα έγγραφά μου και πήγα μέσω Terminal εκεί.
Πάτησα      [Test].       αλλά πήρα το ίδιο λάθος.     

[gon1332]

Αποθήκευσα το αρχείο στα έγγραφά μου και πήγα μέσω Terminal εκεί.

Πάτησα      [Test].       αλλά πήρα το ίδιο λάθος.     

Πάτησες [Test]. αφού μπήκες και στον interpreter;

[Pap_Lam]

Ναι

Και δοκίμασα και ['Test']. και [test]. αλλά τίποτα.

[gon1332]

Δοκίμασε και μία με την κατάληξη του αρχείου, πχ [Test.pl].

 

BTW, έχεις βάλει κατάληξη .pl στο αρχείο; Κανονικά έπρεπε

να δουλέψει με [Test]. για το αρχείο Test.pl.

[Pap_Lam]

Τα έχω δοκιμάσει όλα ναι αλλά δεν δουλεύει.

Και .pl έβαλα και .pro και .swi

[gon1332]

Μόλις εγκατέστησα πάλι gprolog σε linux.

Στο ~/ δημιούργησα το παρακάτω αρχείο:

 

test.pl

man(john).

και στο ίδιο directory εκτέλεσα το gprolog.

Στο prompt πληκτρολόγησα [test]. και όλα

πήγαν καλά. Μου υπέδειξε πως τα γεγονό-

τα φόρτωσαν επιτυχώς.

cd ~
echo "man(john)." > test.pl
gprolog
| ?- [test].