1 ?- [friends].
ERROR: source_sink `friends' does not exist
2 ?-
--
You received this message because you are subscribed to the Google Groups "SWI-Prolog" group.
To unsubscribe from this group and stop receiving emails from it, send an email to swi-prolog+unsubscribe@googlegroups.com.
Visit this group at https://groups.google.com/group/swi-prolog.
For more options, visit https://groups.google.com/d/optout.
That did it. It defaulted to the root directory, i.e. the directory above Applications and Users. Placing my input file there allowed it to be read. That’s not a good location for input files. How do I change the expected input directory? [/Users/chavey/friends]. fails.
What directory are you in? Is the file in that directory? Open up swipl and type:?- pwd.and?- ls.What does it say?Eyal
On Mon, Sep 12, 2016 at 4:39 PM, Darrah Chavey <cha...@beloit.edu> wrote:
Trying to use SWI-Prolog on a Mac. I installed the program, run it, and try to load the file "friends.pl" using the syntax from http://www.swi-prolog.org/FAQ/LoadProgram.html. I get the following:1 ?- [friends].
ERROR: source_sink `friends' does not exist
2 ?-
I placed a copy of "friends.pl" into every directory associated with the application, my User root directory, and my User desktop directory. Same result. The book "Seven Languages in Seven Weeks" says to put the filename in single quotes, ['friends'], so I do that; it fails. If I go to the Unix Terminal interface, I can manage to load the file by executing ./swipl -s friends.pl, but it seems like I should be able to do this via the Mac interface. Any suggestions?
--
You received this message because you are subscribed to the Google Groups "SWI-Prolog" group.
To unsubscribe from this group and stop receiving emails from it, send an email to swi-prolog+...@googlegroups.com.
To unsubscribe from this group and stop receiving emails from it, send an email to swi-prolog+unsubscribe@googlegroups.com.
Visit this group at https://groups.google.com/group/swi-prolog.
For more options, visit https://groups.google.com/d/optout.