Shell commands from the top-level

117 views Asked by At

Apparently, I can use some shell commands from the top-level,

?- pwd.
/home/boris
true.

Others that work are ls, cd. Any idea where those are documented, or what others there are?

(This is on Linux, can't check if it also work on Windows).

1

There are 1 answers

0
AudioBubble On BEST ANSWER

This is library(shell), apparently autoloaded, not included in the official manual.

A link to the source: http://www.swi-prolog.org/pldoc/doc/swi/library/shell.pl?show=src