如何从shell执行SWI-prolog命令?

时间:2014-08-26 04:40:10

标签: shell command-line prolog swi-prolog

作为this的后续,现在我想知道是否有办法直接从shell执行/评估prolog谓词/表达式,如下所示:

$ swipl --eval "-:pack_install(something)"

这样的事情可能吗?就像在node.js中一样,你可以这样做:

$ node -e "console.log('hello world');"

它将加载节点,评估表达式并关闭。

你如何在prolog中做同等的事?

1 个答案:

答案 0 :(得分:2)

这取决于特定的Prolog实现。例如。在SWI-Prolog中,您可以输入:

$ swipl -g "write(hello), nl, halt"
hello

有关详细信息,请参阅手册页:

$ man swipl