backward-chaining public under algorithm 127 List Picture As a command Nothing is filed under backward-chaining.