gpt4 book ai didi

java - 通过 JPL 从 SWI-Prolog 检索错误和警告消息

转载 作者:行者123 更新时间:2023-12-01 15:15:58 27 4
gpt4 key购买 nike

我在使用 JPL 时检索错误和警告消息时遇到一些问题。例如,尝试直接从 SWI-Prolog 查询不存在的文件会产生以下输出:

1 ?- consult('NonExistingFile').
ERROR: source_sink `NonExistingFile' does not exist
true.

但是,当通过 JPL 执行此查询时,不会引发异常,并且 Query 类的 hasMoreSolutions() 方法返回 true:

Query query = new Query("consult('NonExistingFile')");
query.hasMoreSolutions();

如何检测是否发生了错误并且查询 NonExistingFile.pl 实际上失败了?同样的问题也适用于检索不会导致谓词执行失败的警告消息。

编辑:将 JPL 与 SWI-Prolog 版本高达 6.0.2 一起使用时会发生所描述的情况

最佳答案

在 SWI-Prolog 6.1.9(当前为开发版本)中使用 JPL 时,有关咨询错误的问题已得到解决。尝试查阅不存在的文件时会引发异常。

关于java - 通过 JPL 从 SWI-Prolog 检索错误和警告消息,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/11608867/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com