def __call__(self, tNode, inferredTriple, token, binding, debug=False):
"""
Called when a (EDB) query literal is triggered with
given bindings.
"""
assert len(tNode.consequent) == 1
key = (self.queryLiteral, tNode, token)
if key not in self.bfp.firedEDBQueries:
self.bfp.firedEDBQueries.add(key)
for binding in token.bindings:
_bindings = dict([(k, v) for k, v in list(binding.items()) if v != None])
closure = ReadOnlyGraphAggregate([self.factGraph, self.bfp.metaInterpNetwork.inferredFacts])
closure.templateMap = self.factGraph.templateMap
# For each mapping that unifies with theory
if self.edbConj:
_vars = set()
for lit in self.edbConj:
_vars.update(list(GetVariables(lit, secondOrder=True)))
_qLit = EDBQuery(
[copy.deepcopy(lit) for lit in self.edbConj],
self.factGraph, # closure,
_vars,
specialBNodeHandling=self.bfp.specialBNodeHandling,
)
else:
_qLit = copy.deepcopy(self.queryLiteral)
_qLit = EDBQuery(
[_qLit],
self.factGraph, # closure,
list(GetVariables(_qLit, secondOrder=True)),
specialBNodeHandling=self.bfp.specialBNodeHandling,
)
origQuery = _qLit.copy()
_qLit.ground(_bindings)
if self.bfp.debug:
print(
"%sQuery triggered for " % (" maximal db conjunction " if self.edbConj else ""),
tNode.clauseRepresentation(),
)
self.bfp.edbQueries.add(_qLit)
# queryVars = origQuery.getOpenVars()
# tokens2Propagate=[
# t for t in token.tokens
# if [
# v for v in t.getVarBindings()
# if v not in queryVars
# ]
# ]
isGround = not _qLit.returnVars
rt = self.tabledQuery(_qLit)
if isGround:
if first(rt):
self.handleQueryAnswer(origQuery, token, self.bfp.debug, ({}, binding))
else:
for ans in rt:
if self.bfp.debug:
pprint(ans)
self.handleQueryAnswer(origQuery, token, self.bfp.debug, (ans, binding))
