SWI Prolog的源接收器在哪里？

我在桌面上有一个prolog文件test.pl。我尝试使用SWI Prolog加载它。 我输入

错误是：

?- consult([test]).
ERROR: source_sink `test' does not exist
true.

---

那么，我应该将test.pl文件放在哪个路径中呢？或者如何使用SWI Prolog加载它？

您需要确保SWI Prolog的当前工作目录是您期望的目录，或者需要指定包含路径的文件名

要查询当前目录，请执行以下操作：

?- working_directory(Current, Current).
Current = '/home/isabelle/'.

?- working_directory(Current, Current).
Current = '/home/isabelle/Desktop/'.

可以将新目录的名称作为第二个参数传递：

?- working_directory(Old, '/home/isabelle/Desktop').
Old = '/home/isabelle/'.

完成上述操作后，请检查当前目录：

?- working_directory(Current, Current).
Current = '/home/isabelle/'.

?- working_directory(Current, Current).
Current = '/home/isabelle/Desktop/'.

如果我有一个文件

/home/isabelle/Desktop/test.pl

，我现在可以作为

？-[test]。

或

？-consult（test）。

或

？-consult（[test]）。

或者，在不更改目录的情况下，我可以使用绝对文件名：

?- consult('/home/isabelle/Desktop/test.pl').
true.

---

您需要确保SWI Prolog的当前工作目录是您期望的目录，或者需要指定包含路径的文件名

要查询当前目录，请执行以下操作：

?- working_directory(Current, Current).
Current = '/home/isabelle/'.

?- working_directory(Current, Current).
Current = '/home/isabelle/Desktop/'.

可以将新目录的名称作为第二个参数传递：

?- working_directory(Old, '/home/isabelle/Desktop').
Old = '/home/isabelle/'.

完成上述操作后，请检查当前目录：

?- working_directory(Current, Current).
Current = '/home/isabelle/'.

?- working_directory(Current, Current).
Current = '/home/isabelle/Desktop/'.

如果我有一个文件

/home/isabelle/Desktop/test.pl

，我现在可以作为

？-[test]。

或

？-consult（test）。

或

？-consult（[test]）。

或者，在不更改目录的情况下，我可以使用绝对文件名：

?- consult('/home/isabelle/Desktop/test.pl').
true.

---

我的是Mac OS 10.15我的是Mac OS 10.15谢谢！那真的很有帮助！还有一个问题，我想用Aleph来构建一个理论，我应该用什么命令？我试着咨询[测试]。结果为“true”，但我看不到输出结果。如果这有帮助，您可以单击向上投票箭头或“接受”答案以显示它解决了您的问题；-）对不起，我对阿莱夫一无所知。谢谢！那真的很有帮助！还有一个问题，我想用Aleph来构建一个理论，我应该用什么命令？我试着咨询[测试]。结果为“true”，但我看不到输出结果。如果这有帮助，您可以单击向上投票箭头或“接受”答案以显示它解决了您的问题；-）对不起，我对亚历夫一无所知。