在那里，我已经尝试这个问题超过 2 天了，但没有任何东西可以显示。因此，希望能在这个问题上提供一些帮助。
问题：尝试使用 Tau Prolog for Javascript 断言新谓词会返回错误结果。使用 SWI-Prolog 时，完全相同的查询结果为 True。
该程序取自textareaHTML 页面中的一个。一切都仅在一台计算机上是本地的。
**Prolog rules**
<textarea class="example-textinput example-program" id="program">
breads([parmesan, honeywheat]).
</textarea>
**Javascript in the same HTML page**
<script>
var session = pl.create();
var program = document.getElementById("program").value;
session.consult(program);
session.query(`asserta(chosen_meats(variable_to_be_asserted)).`);
session.answers(show())
function show() {
// Return callback function
return function (answer) {
// Valid answer
console.log(answer);
if (pl.type.is_substitution(answer)) {
// Get the value of the food
var output = answer.lookup("X");
console.log(output);
}
};
}
</script>
我尝试过：在 Prolog 中声明动态谓词。例如
<textarea class="example-textinput example-program" id="program">
breads([parmesan, honeywheat]).
:- dynamic chosen_meats/1.
</textarea>
asserta, assertz and assert调用查询时更改为,。
结果：在回调函数 show() 中，每当尝试断言时，总是会打印出 false。
{ref: 6065, id: "throw", args: Array(1), indicator: "throw/1"}
只要完成查询，就会打印出术语 chosen_meats(X).。但是，当使用 tostring 方法时，正常的谓词调用如在
session.query("breads(X).");
处给出正确的输出
。"[parmesan,honeywheat]"
编辑：在线 Tau Prolog 给出了相同的问题 http://tau-prolog.org/ 错误已扩展为：
error parsing program: error(syntax_error('. or operator expected'), [line(1), column(11), found(client)])
为了
:-dynamic client/1.
和
assertz(client(x)).