0

我正在关注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); }
});

所以的问题是:“为什么会有不同?”

再次感谢!

4

1 回答 1

0

好的 - 进程是异步的,answer需要执行 afterquery需要执行 after consult,所以嵌套函数调用。

它在文档中……叹息。

这个SO 帖子涵盖了它。很抱歉浪费了大家的时间。

于 2022-03-05T23:07:47.717 回答