compilation - 从命令行向 Prolog 提供目标

Question

标题说明了一切。我想编译一个程序（比如用 gplc）。然后将输入文件传递给它。程序将读取文件，进行一些计算并将输出写入另一个文件。在 C 中，我会做这样的事情：

gcc -o prog prog.c
./prog input.txt output.txt

我可以在 Prolog 中做同样的事情吗？如果是，我如何从命令行读取输入参数？

谢谢。

score 1 · Accepted Answer

它可能取决于您使用的实现，但是有一个内置函数current_prolog_flag/2（阅读手册）可以像这样调用它来访问传递给程序的命令行参数：

...
current_prolog_flag(argv, Argv),
...

Argv将与代表命令行参数的原子列表统一。

要告诉 Prolog 运行哪个目标，请再次查阅您正在使用的实现手册：

1 回答 1