backward-chaining public under algorithm 127 List Picture As a command %3 n0 backward-chaining n1 algorithm n1->n0