0

问题：在 Tau Prolog 在线解释器中完美运行的程序在本地计算机上执行时表现不同。[使用 HTML 和 Javascript]

错误已追溯到 Prolog 中使用的 if,else if, else 谓词（例如 (X->A;B->C;D) 尝试修复：使用 --> 而不是 ->，在圆括号中添加整个表达。

可能有帮助：导入列表库时，库的某些部分可以使用，而其他部分在本地计算机上运行时不能使用。具体来说，减法函数就是列表库。因此，怀疑从选择所有内容的 Tau Prolog 下载的 javascript 文件可能存在问题。虽然下面的代码片段不包含减法函数，但它会在提示问题的情况下出现。使用的编辑器：Visual Studio 代码。 http://tau-prolog.org/downloads

:-use_module(library(lists)).
memberchk(X,[X|_]) :- !.
memberchk(X,[_|T]):- memberchk(X,T).
subtract([], _, []).
subtract([Head|Tail], L2, L3) :-
                memberchk(Head, L2),
                !,
                subtract(Tail, L2, L3).
subtract([Head|Tail1], L2, [Head|Tail3]) :-
                subtract(Tail1, L2, Tail3).
main([chicken, tuna]).
meals([healthy,vegan,veggie,value]).
:-dynamic(chosen_main/1).
:-dynamic(chosen_meals/1). 
chosen_main([]).
chosen_meals([]).
ask_meals(X):-
            meals(X).
ask_main(X):-chosen_meals([vegan])->X = [nothing];
             chosen_meals([veggie])->X = [nothing];
             main(X).

ask_main(X) 查询的预期输出：X = [chicken, tuna]. 当使用在线 Tau Prolog 解释器时，这是真的。但是，在 Javascript 上使用以下查询完成后，结果如下：

    var session = pl.create(1000);
    var program = document.getElementById("program").innerHTML;
    session.consult(program);
    console.log("ask_main(X).");
    session.query("ask_main(X).");
    session.answers(showResults(), 1000);

结果： Term {ref: 7051, id: "throw", args: Array(1), indicator: "throw/1"},

扩展时给出：

args: (2) [Term, Term]
id: "existence_error"
indicator: "existence_error/2"
ref: 7047

注：查询

session.query("ask_meals(X).");
session.answers(showResults(), 1000);

在本地执行时打印出来[healthy, vegan, veggie, value]，这是有效的。编辑：序言代码存在于 id=program 的 div 容器中。

4

1 回答 1

1

如果#program是 textarea，则必须使用带有.value属性的 HTML 元素的值，而不是.innerHTML. 使用该.innerHTML属性，您正在加载一个空程序。

var session = pl.create(1000);
var program = document.getElementById("program").value;
session.consult(program);
session.query("ask_main(X).");
session.answers(x => console.log(pl.format_answer(x)), 1000);
于 2019-11-12T13:53:11.967 回答