我的logicblox程序以一组初始事实和一组R规则开始。它得出了最后一组事实T＆＃39;。
对于跑步，使用规则和几个事实，它会得出一些新的事实。 如何提取有关执行的运行的所有信息？
事先，是否可以提取与某些派生事实相关的运行？
答案 0 :(得分：1)
取决于您如何评估该计划。例如，对于bloxbatch实用程序，请尝试＆＃34; -logLevel debugDetail @ factbus＆＃34;标记以获取所有规则评估的完整跟踪/配置文件。这将告诉您如何执行连接（即查询优化的结果）。如果您想要总结此配置文件以查看最终花费最多时间的规则，您可以使用Thiago Bartolomei的python脚本LogAnalyzer.py（例如，在Doop框架中公开提供，此处：https://bitbucket.org/yanniss/doop/src/9daaea0b582674603abb2f3e43f73f630ee6d3e1/bin/LogAnalyzer.py）
我不认为有一种通用的方法来计算事实的来源，即一组规则，其评估产生了一个特定的衍生事实，尽管过去存在实验设施。
答案 1 :(得分：0)
我在Logicblox 3.10参考手册中找到了一个解决方案。 Logicblox 3.10支持录制和查询出处。 https://download.logicblox.com/content/docs/core-reference/webhelp/provenance.html#provenance-recording
我不知道为什么在Logicblox 4参考手册中没有提到它。也许它不再受支持了。