【发布时间】：2016-03-02 03:51:29
【问题描述】：
我的 logicblox 程序以一组 T 初始事实和一组 R 规则开始。它派生出最终的一组事实 T'。
对于一次运行，使用了一个规则和几个事实，它得出了一些新的事实。 如何提取有关已执行运行的所有信息？
是否可以提前提取与某些派生事实相关的运行？
【问题讨论】：
标签： logicblox
【发布时间】：2016-03-02 03:51:29
【问题描述】：
取决于您如何评估该计划。例如，对于 bloxbatch 实用程序，尝试使用“-logLevel debugDetail@factbus”标志来获取所有规则评估的完整跟踪/配置文件。这会准确告诉您连接是如何执行的（即查询优化的结果）。如果您想总结此配置文件以查看哪些规则最终花费的时间最多，您可以使用 Thiago Bartolomei 的 Python 脚本 LogAnalyzer.py（例如，在 Doop 框架中公开可用，此处：https://bitbucket.org/yanniss/doop/src/9daaea0b582674603abb2f3e43f73f630ee6d3e1/bin/LogAnalyzer.py）。
我不认为有一种通用的方法来计算一个事实的出处，即其评估产生特定派生事实的一组规则，尽管过去已经存在这方面的实验设施。
【讨论】：
-
感谢您的回答。 “-logLevel debugDetail@factbus”标志很有帮助，但这并不是我所需要的。我在 Logicblox 教程“LogicBlox、平台和语言：教程”中发现，他们说“出处。Dataloglb 包括在程序评估期间记录出处信息的选项”。有什么方法可以追踪出处信息吗？
我在 Logicblox 3.10 参考手册中找到了解决方案。 Logicblox 3.10 支持记录和查询出处。 https://download.logicblox.com/content/docs/core-reference/webhelp/provenance.html#provenance-recording
我不知道为什么 Logicblox 4 参考手册中没有提到它。也许它不再受支持。
【讨论】：