Solution 1 (state 7) states: 8 rewrites: 14 in 0ms cpu (0ms real) (~ rewrites/second) To see what led us in that direction we can use the built in command show path which lets us know what rule applications led us to the resulting term.
Solution 1 (state 7) states: 8 rewrites: 14 in 0ms cpu (0ms real) (~ rewrites/second) Η ενσωματωμένη εντολή show path δείχνει ποιες εφαρμογές κανόνων οδηγούν στον τελικό όρο.