我想知道从 shell 调用它时如何从 SWI-Prolog 获得输出。
假设我有一个简单的知识库，kb.pl：
dad(elvis, lisaMarie).
dad(john, julian).
我可以从 shell 调用 SWI-Prolog：
$ swipl --quiet -s kb.pl -t listing
我的知识库列表打印到stdout. 如果我试试这个：
$ swipl --quiet -s kb.pl -t "dad(elvis, X)"
$ echo $?
0
没有输出输出，但我知道它找到了匹配项，因为当我查询返回码时我得到零。相似地：
$ swipl --quiet -s kb.pl -t "dad(morrisey, X)"
$ echo $?
1
表明 Prolog 正确地未能找到匹配的事实。
我的问题是：如何打印所有匹配项，以便从 shell 中可以看到像在 Prolog 环境中一样的输出？例如
$ swipl --quiet -s kb.pl -t "dad(elvis,X)" --magicdust
X = lisaMarie.
我不认为--quiet是问题所在。它只是抑制序言启动消息。请参阅SWI-Prolog 命令行选项