Skip to content

MeTTaGrapher does not show all computational steps of the backward chainer #6

Description

@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.
Image

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.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions