The engine was
not able to match the triple child(elza, Z) with a fact in the database so
this path in the search tree has to be abandoned. The engine will now perform
a backtrack in order to find an alternative path in the search tree. Such an
alternative will be retrieved from the stack (if there is one, which is the
case now).