My logicblox program begins with a set T of initial facts and a set R of rules. It derives a final set of facts T'.
For a run, a rule and several facts are used and it derives some new facts. How can I extract all information about the runs that performed?
In advance, is it possible to extract runs that relate to some derived facts?
I found a solution in Logicblox 3.10 Reference Manual. Logicblox 3.10 support recording and querying provenance. https://download.logicblox.com/content/docs/core-reference/webhelp/provenance.html#provenance-recording
I don't know why it was not mentioned in Logicblox 4 Reference Manual. Maybe it is no longer supported.