Improving the instantiation of partially instantiated predicates

[juanlao7]

Currently, when we have to instantiate a partially instantiated predicate, we try to find a full instantiated predicate in our current state, and then we extract the constant values.

Problem: if the predicate is not in our current state, then the algorithm fails.

Proposal: if the predicate is not in our current state, then try to reach it using an operator.

[gbg141]

I can't think of an example where this problem happens, Juan. Except if there is no solution... I guess that this is because the algorithm is linear and we always have the entire description of the world in the current state