Shell命令来自顶级

时间:2013-11-29 12:03:07

标签: swi-prolog prolog-toplevel

显然,我可以使用顶级的一些shell命令

?- pwd.
/home/boris
true.

其他有用的工作是lscd。知道那些记录在哪里,或其他人有什么?

(这是在Linux上,无法检查它是否也适用于Windows)。

1 个答案:

答案 0 :(得分:0)

这是库(shell),显然是自动加载的,未包含在官方手册中。

指向来源的链接:http://www.swi-prolog.org/pldoc/doc/swi/library/shell.pl?show=src