如何跟踪Logicblox中的运行情况？

Question

我的logicblox程序从一组初始事实和一组规则开始。它导出了最后一组事实T‘。

在运行过程中，使用了一条规则和几个事实，并导出了一些新事实。如何提取有关已执行的运行的所有信息？

预先，是否有可能提取与某些派生事实相关的运行？

Answer 1

我在Logicblox3.10参考手册中找到了一个解决方案。Logicblox 3.10支持记录和查询出处。https://download.logicblox.com/content/docs/core-reference/webhelp/provenance.html#provenance-recording

我不知道为什么在Logicblox 4参考手册中没有提到它。也许它不再被支持了。

Answer 2

取决于你如何评估程序。例如，对于blox批处理实用程序，尝试使用"-logLevel调试器@factbus“标志来获得所有规则计算的完整跟踪/概要文件。这将准确地告诉您如何执行联接(即查询优化的结果)。如果您想总结这个概要文件以查看哪些规则花费最多时间，可以使用Thiago的python脚本LogAnalyzer.py (例如，在Doop框架中公开可用，这里是：https://bitbucket.org/yanniss/doop/src/9daaea0b582674603abb2f3e43f73f630ee6d3e1/bin/LogAnalyzer.py)。

我不认为有一种一般的方法来计算一个事实的来源，即一套规则，它的评估产生了一个特定的导出事实，尽管在过去已经有这样的实验设施。