我正在关注tau-prolog教程,但遇到了这个错误:
throw(error(existence_error(procedure,/(fruits_in,2)),/(top_level,0)))
我的 index.html 是
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Hello, Tau Prolog!</title>
</head>
<body>
<script src="tau-prolog.js"></script>
<script src="main.js"></script>
</body>
</html>
main.js 是
let session = pl.create();
session.consult(" \
% load lists module \
:- use_module(library(lists)). \
\
% fruit/1 \
fruit(apple). fruit(pear). fruit(banana). \
\
% fruits_in/2 \
fruits_in(Xs, X) :- member(X, Xs), fruit(X). \
", {
success: () => { console.log("success") },
error: (err) => { console.log('error: ', err); }
});
session.query("fruits_in([carrot, apple, banana, broccoli], X).", {
success: (goal) => { console.log('Query success. Goal: ', goal) },
error: (err) => { console.log('error: ', err) }
});
session.answer({
success: (answer) => {
console.log(answer); // {X/apple}
session.answer({
success: (answer) => {
console.log(answer); // {X/banana}
},
error: (err) => { console.log(`answer error: ${err}`) },
fail: () => { console.log('no more answers') },
limit: () => { console.log('limit') }
});
},
error: (err) => { console.log(`answer error: ${err}`) },
fail: () => { console.log('no more answers') },
limit: () => { console.log('limit') }
})
控制台输出是
我不知道从哪里开始,如果有人指出我犯的初学者错误,我将不胜感激!
*** 更新
如果我将session.consult
使用"
and更改\
为使用新的 `` 模板字符串语法,则此代码有效!
新会话。咨询:
session.consult(`
% load lists module
:- use_module(library(lists)).
% fruit/1
fruit(apple). fruit(pear). fruit(banana).
% fruits_in/2
fruits_in(Xs, X) :- member(X, Xs), fruit(X).
`, {
success: () => { console.log("success") },
error: (err) => { console.log('error: ', err); }
});
所以新的问题是:“为什么会有不同?”
再次感谢!