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