从Prolog编译乳胶

时间:2015-05-07 14:27:26

标签: shell prolog latex

我编写了一个生成Latex文件的Prolog谓词,我正在寻找一种能够在Prolog中自动编译这样一个文件的方法来返回相关的PDF文件。我找到了shell谓词(http://www.swi-prolog.org/pldoc/man?predicate=shell/2),但我无法弄清楚如何使其正常工作。

如果它有任何相关性,我在Mac中使用SWI-Prolog 7.1.33。

提前致谢!

1 个答案:

答案 0 :(得分:-1)

执行shell命令的传统谓词是system/1,适用于类Unix和MS-Windows系统。例如

?- system('echo a').

在类Unix系统中编写a