问题描述
我想知道从 shell 调用时如何从 SWI-Prolog 获取输出.
I am wondering how one gets output from SWI-Prolog when invoking it from the shell.
假设我有一个简单的知识库，kb.pl:
Say I have a simple knowledge base, kb.pl:
dad(elvis, lisaMarie).
dad(john, julian).
我可以从 shell 调用 SWI-Prolog:
I can invoke SWI-Prolog from the shell:
$ swipl --quiet -s kb.pl -t listing
并将我的知识库列表打印到 stdout.如果我试试这个:
and a listing of my knowledge base is printed to stdout. If I try this:
$ swipl --quiet -s kb.pl -t "dad(elvis, X)"
$ echo $?
0
没有打印输出，但我知道它找到了匹配项，因为当我查询返回码时得到零.同样:
No output is printed, but I know that it found matches because I get zero when I then query for the return code. Similarly:
$ swipl --quiet -s kb.pl -t "dad(morrisey, X)"
$ echo $?
1
表明 Prolog 正确地未能找到匹配的事实.
Shows that that the Prolog is correctly failing to find a matching fact.
我的问题是:如何打印所有匹配项，以便从 shell 看到输出，就像我在 Prolog 环境中一样?例如
My question is this: How do I get all the matches to print, so that from the shell I can see output like when I am in the Prolog environment? E.g.
$ swipl --quiet -s kb.pl -t "dad(elvis,X)" --magicdust
X = lisaMarie.
我不认为 --quiet 是问题所在.它只是抑制 prolog 启动消息.见 SWI-Prolog 命令行选项
I don't think --quiet is the problem. It is just suppressing prolog startup messages. See SWI-Prolog Command-Line Options
推荐答案
自己打印，例如:
$ swipl -q -s kb.pl -t "dad(elvis,X), writeln(X), false"
这篇关于如何通过 shell 调用在 SWI-Prolog 中显示模式匹配目标的结果?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！