【发布时间】:2013-11-29 12:03:07
【问题描述】:
显然,我可以从顶层使用一些 shell 命令,
?- pwd.
/home/boris
true.
其他有效的是ls、cd。知道这些记录在哪里,或者还有什么其他的吗?
(这是在Linux上,无法检查它是否也适用于Windows)。
【问题讨论】:
标签: swi-prolog prolog-toplevel
显然,我可以从顶层使用一些 shell 命令,
?- pwd.
/home/boris
true.
其他有效的是ls、cd。知道这些记录在哪里,或者还有什么其他的吗?
(这是在Linux上,无法检查它是否也适用于Windows)。
【问题讨论】:
标签: swi-prolog prolog-toplevel
这是库(shell),显然是自动加载的,官方手册中没有。
来源链接:http://www.swi-prolog.org/pldoc/doc/swi/library/shell.pl?show=src
【讨论】: