24 lines
387 B
Markdown
24 lines
387 B
Markdown
# swipl
|
||
|
||
> SWI-Prolog - 一个全面的免费Prolog环境。
|
||
> 更多信息：<https://www.swi-prolog.org/>.
|
||
|
||
- 启动交互会话：
|
||
|
||
`swipl`
|
||
|
||
- 执行一个命令而不显示任何输出：
|
||
|
||
`swipl --quiet -t "{{command}}"`
|
||
|
||
- 执行一个脚本：
|
||
|
||
`swipl {{path/to/file.pl}}`
|
||
|
||
- 打印所有shell配置变量：
|
||
|
||
`swipl --dump-runtime-variables`
|
||
|
||
- 显示版本：
|
||
|
||
`swipl --version` |