Krishnan Govindraj

About method 2: I don't think it's too surprising that it's slow. The grounding process grows exponentially with the number of `knows_l1/2` facts. SWIPL too slows down on this problem....

Moved case with relations to different issue , because it's a different fix #6599

PR #6628 adds support for this. It's currently in our development branch so should be included in the next release.

IThis could use an example. Do you mean the following: Given a schema ``` define name sub attribute, value string; ent sub entity, plays suprel:role1, owns name; suprel sub rel,...

This whole thing should be merged into Vaticle:develop, shouldn't it?

This is currently on hold for a further refactor - Ideally, Rules would not cache ConcludablesTriggeringRules (or Retrievables) and require the logic to invalidate these cached when the rule-graph changes....

(Nope. I was just missing a variable)

Arithmetic is being implemented (#5521, #6654) with functions which support datetimes as input. The machinery for this will thus be implemented and this feature boils down to implementing the required...

@thomaschristopherking Would it be acceptable if this function (and any such function which is influenced by external factors) has a fixed value throughout the transaction? Without that restriction, we have...

Reasoner BDD has been reliable for months, running 100x did not reproduce. Closing as fixed.