MeTTaGrapher does not show all computational steps of the backward chainer

[ngeiswei]

What is your problem?

MeTTaGrapher does not seem to finely decompose chaining steps as expected.

How to reproduce your problem?

Call MeTTaScript on simple-bc.metta

metta graph --view blocks simple-bc.metta -o simple-bc.gif

What do you get?

A gif file with 28 frames seemingly showing 3 states

1. the function call
2. its body
3. its final result, skipping the intermediary recursive calls.

What would you normal expect?

A longer gif showing all recursive and non-deterministic calls.

What else do you have to say?

• MeTTaScript version 3.4.0
• I wonder how MeTTaScript should deal with pruning. Ideally I think it should show all non deterministic branches, even those eventually disappearing (due to hitting (empty) or a failed unification). This would provide maximum transparency. I wonder if the issue reported here isn't related to this.