显然,我可以使用顶层的一些 shell 命令,
?- pwd.
/home/boris
true.
其他有效的是ls
, cd
。知道这些记录在哪里,或者还有什么其他的吗?
(这是在 Linux 上,无法检查它是否也适用于 Windows)。
显然,我可以使用顶层的一些 shell 命令,
?- pwd.
/home/boris
true.
其他有效的是ls
, cd
。知道这些记录在哪里,或者还有什么其他的吗?
(这是在 Linux 上,无法检查它是否也适用于 Windows)。
这是库(shell),显然是自动加载的,未包含在官方手册中。
源链接:http ://www.swi-prolog.org/pldoc/doc/swi/library/shell.pl?show=src