bag.formal(文件已创建)
| @@ -0,0 +1,37 @@ | |||
| 1 | + | <> (tally ?value (Bag ?list)) ((Bag tallying| tallying> ?value ?list)) | |
| 2 | + | ||
| 3 | + | <> (tallying> ?value ()) | |
| 4 | + | (<tallying ((Entry ?value 1) ())) | |
| 5 | + | ||
| 6 | + | <> (tallying> ?value ((Entry ?value ?count) ?rest)) | |
| 7 | + | (<tallying ((Entry ?value @add ?count 1) ?rest)) | |
| 8 | + | ||
| 9 | + | <> (tallying> ?value (?entry ?rest)) | |
| 10 | + | ((?entry tallying> ?value ?rest)) | |
| 11 | + | ||
| 12 | + | <> ((Bag tallying| <tallying ?list)) ((Bag ?list)) | |
| 13 | + | <> ((?entry <tallying ?previous)) (<tallying (?entry ?previous)) | |
| 14 | + | ||
| 15 | + | <> (find ?value (Bag ?list)) ((Bag find| find> ?value ?list)) | |
| 16 | + | ||
| 17 | + | <> (find> ?value ((Entry ?value ?count) ?rest)) | |
| 18 | + | (<found #yes ((Entry ?value ?count) ?rest)) | |
| 19 | + | <> (find> ?value ()) (<found #no ()) | |
| 20 | + | ||
| 21 | + | <> (find> ?value (?entry ?rest)) ((?entry find> ?value ?rest)) | |
| 22 | + | ||
| 23 | + | <> ((Bag find| <found ?answer ?list)) (?answer (Bag ?list)) | |
| 24 | + | <> ((?entry <found ?answer ?previous)) (<found ?answer (?entry ?previous)) | |
| 25 | + | ||
| 26 | + | <> (has all ()) (#yes) | |
| 27 | + | <> (has all (?item ?rest)) (?rest has all| find ?item) | |
| 28 | + | ||
| 29 | + | <> (?rest has all| #yes) (has all ?rest) | |
| 30 | + | <> (?rest has all| #no) (#no) | |
| 31 | + | ||
| 32 | + | <> (bag {) (bag) | |
| 33 | + | <> (bag }) ((Bag ())) | |
| 34 | + | <> (bag ?item) (tally ?item bag) | |
| 35 | + | ||
| 36 | + | has all (flour (sugar (apples ()))) | |
| 37 | + | bag { sugar oranges apples cherries flour apples } | |
has-all-no.txt(文件已创建)
| @@ -0,0 +1,85 @@ | |||
| 1 | + | --- :: has all (flour (sugar (pears ()))) bag { sugar oranges apples cherries flour apples } | |
| 2 | + | 017 :: (sugar (pears ())) has all| find flour bag { sugar oranges apples cherries flour apples } | |
| 3 | + | 020 :: (sugar (pears ())) has all| find flour bag sugar oranges apples cherries flour apples } | |
| 4 | + | 022 :: (sugar (pears ())) has all| find flour tally sugar bag oranges apples cherries flour apples } | |
| 5 | + | 022 :: (sugar (pears ())) has all| find flour tally sugar tally oranges bag apples cherries flour apples } | |
| 6 | + | 022 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples bag cherries flour apples } | |
| 7 | + | 022 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries bag flour apples } | |
| 8 | + | 022 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour bag apples } | |
| 9 | + | 022 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour tally apples bag } | |
| 10 | + | 021 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour tally apples (Bag ()) | |
| 11 | + | 004 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| tallying> apples ()) | |
| 12 | + | 005 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| <tallying ((Entry apples 1) ())) | |
| 13 | + | 008 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour (Bag ((Entry apples 1) ())) | |
| 14 | + | 004 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag tallying| tallying> flour ((Entry apples 1) ())) | |
| 15 | + | 007 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag tallying| ((Entry apples 1) tallying> flour ())) | |
| 16 | + | 005 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag tallying| ((Entry apples 1) <tallying ((Entry flour 1) ()))) | |
| 17 | + | 009 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag tallying| <tallying ((Entry apples 1) ((Entry flour 1) ()))) | |
| 18 | + | 008 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag ((Entry apples 1) ((Entry flour 1) ()))) | |
| 19 | + | 004 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| tallying> cherries ((Entry apples 1) ((Entry flour 1) ()))) | |
| 20 | + | 007 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) tallying> cherries ((Entry flour 1) ()))) | |
| 21 | + | 007 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) ((Entry flour 1) tallying> cherries ()))) | |
| 22 | + | 005 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) ((Entry flour 1) <tallying ((Entry cherries 1) ())))) | |
| 23 | + | 009 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) <tallying ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 24 | + | 009 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| <tallying ((Entry apples 1) ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 25 | + | 008 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag ((Entry apples 1) ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 26 | + | 004 :: (sugar (pears ())) has all| find flour tally sugar tally oranges (Bag tallying| tallying> apples ((Entry apples 1) ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 27 | + | 006 :: (sugar (pears ())) has all| find flour tally sugar tally oranges (Bag tallying| <tallying ((Entry apples @add 1 1) ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 28 | + | 008 :: (sugar (pears ())) has all| find flour tally sugar tally oranges (Bag ((Entry apples @add 1 1) ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 29 | + | 004 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| tallying> oranges ((Entry apples @add 1 1) ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 30 | + | 007 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples @add 1 1) tallying> oranges ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 31 | + | 003 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) tallying> oranges ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 32 | + | 007 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) tallying> oranges ((Entry cherries 1) ())))) | |
| 33 | + | 007 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) tallying> oranges ())))) | |
| 34 | + | 005 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <tallying ((Entry oranges 1) ()))))) | |
| 35 | + | 009 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) <tallying ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 36 | + | 009 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) <tallying ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 37 | + | 009 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| <tallying ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 38 | + | 008 :: (sugar (pears ())) has all| find flour tally sugar (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 39 | + | 004 :: (sugar (pears ())) has all| find flour (Bag tallying| tallying> sugar ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 40 | + | 007 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) tallying> sugar ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 41 | + | 007 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) tallying> sugar ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 42 | + | 007 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) tallying> sugar ((Entry oranges 1) ()))))) | |
| 43 | + | 007 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) tallying> sugar ()))))) | |
| 44 | + | 005 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) <tallying ((Entry sugar 1) ())))))) | |
| 45 | + | 009 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <tallying ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 46 | + | 009 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) <tallying ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 47 | + | 009 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) <tallying ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 48 | + | 009 :: (sugar (pears ())) has all| find flour (Bag tallying| <tallying ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 49 | + | 008 :: (sugar (pears ())) has all| find flour (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 50 | + | 010 :: (sugar (pears ())) has all| (Bag find| find> flour ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 51 | + | 013 :: (sugar (pears ())) has all| (Bag find| ((Entry apples 2) find> flour ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 52 | + | 011 :: (sugar (pears ())) has all| (Bag find| ((Entry apples 2) <found #yes ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 53 | + | 015 :: (sugar (pears ())) has all| (Bag find| <found #yes ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 54 | + | 014 :: (sugar (pears ())) has all| #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 55 | + | 018 :: has all (sugar (pears ())) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 56 | + | 017 :: (pears ()) has all| find sugar (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 57 | + | 010 :: (pears ()) has all| (Bag find| find> sugar ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 58 | + | 013 :: (pears ()) has all| (Bag find| ((Entry apples 2) find> sugar ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 59 | + | 013 :: (pears ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) find> sugar ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 60 | + | 013 :: (pears ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) find> sugar ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 61 | + | 013 :: (pears ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) find> sugar ((Entry sugar 1) ())))))) | |
| 62 | + | 011 :: (pears ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) <found #yes ((Entry sugar 1) ())))))) | |
| 63 | + | 015 :: (pears ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <found #yes ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 64 | + | 015 :: (pears ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) <found #yes ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 65 | + | 015 :: (pears ()) has all| (Bag find| ((Entry apples 2) <found #yes ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 66 | + | 015 :: (pears ()) has all| (Bag find| <found #yes ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 67 | + | 014 :: (pears ()) has all| #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 68 | + | 018 :: has all (pears ()) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 69 | + | 017 :: () has all| find pears (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 70 | + | 010 :: () has all| (Bag find| find> pears ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 71 | + | 013 :: () has all| (Bag find| ((Entry apples 2) find> pears ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 72 | + | 013 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) find> pears ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 73 | + | 013 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) find> pears ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 74 | + | 013 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) find> pears ((Entry sugar 1) ())))))) | |
| 75 | + | 013 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) find> pears ())))))) | |
| 76 | + | 012 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) <found #no ())))))) | |
| 77 | + | 015 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) <found #no ((Entry sugar 1) ())))))) | |
| 78 | + | 015 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <found #no ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 79 | + | 015 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) <found #no ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 80 | + | 015 :: () has all| (Bag find| ((Entry apples 2) <found #no ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 81 | + | 015 :: () has all| (Bag find| <found #no ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 82 | + | 014 :: () has all| #no (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 83 | + | 019 :: #no (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 84 | + | --- :: #no (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 85 | + | Completed in 82 rewrites needing 1994 iterations. | |
has-all-yes.txt(文件已创建)
| @@ -0,0 +1,76 @@ | |||
| 1 | + | --- :: has all (flour (sugar (apples ()))) bag { sugar oranges apples cherries flour apples } | |
| 2 | + | 017 :: (sugar (apples ())) has all| find flour bag { sugar oranges apples cherries flour apples } | |
| 3 | + | 020 :: (sugar (apples ())) has all| find flour bag sugar oranges apples cherries flour apples } | |
| 4 | + | 022 :: (sugar (apples ())) has all| find flour tally sugar bag oranges apples cherries flour apples } | |
| 5 | + | 022 :: (sugar (apples ())) has all| find flour tally sugar tally oranges bag apples cherries flour apples } | |
| 6 | + | 022 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples bag cherries flour apples } | |
| 7 | + | 022 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples tally cherries bag flour apples } | |
| 8 | + | 022 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour bag apples } | |
| 9 | + | 022 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour tally apples bag } | |
| 10 | + | 021 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour tally apples (Bag ()) | |
| 11 | + | 004 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| tallying> apples ()) | |
| 12 | + | 005 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| <tallying ((Entry apples 1) ())) | |
| 13 | + | 008 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour (Bag ((Entry apples 1) ())) | |
| 14 | + | 004 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag tallying| tallying> flour ((Entry apples 1) ())) | |
| 15 | + | 007 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag tallying| ((Entry apples 1) tallying> flour ())) | |
| 16 | + | 005 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag tallying| ((Entry apples 1) <tallying ((Entry flour 1) ()))) | |
| 17 | + | 009 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag tallying| <tallying ((Entry apples 1) ((Entry flour 1) ()))) | |
| 18 | + | 008 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag ((Entry apples 1) ((Entry flour 1) ()))) | |
| 19 | + | 004 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| tallying> cherries ((Entry apples 1) ((Entry flour 1) ()))) | |
| 20 | + | 007 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) tallying> cherries ((Entry flour 1) ()))) | |
| 21 | + | 007 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) ((Entry flour 1) tallying> cherries ()))) | |
| 22 | + | 005 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) ((Entry flour 1) <tallying ((Entry cherries 1) ())))) | |
| 23 | + | 009 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) <tallying ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 24 | + | 009 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| <tallying ((Entry apples 1) ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 25 | + | 008 :: (sugar (apples ())) has all| find flour tally sugar tally oranges tally apples (Bag ((Entry apples 1) ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 26 | + | 004 :: (sugar (apples ())) has all| find flour tally sugar tally oranges (Bag tallying| tallying> apples ((Entry apples 1) ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 27 | + | 006 :: (sugar (apples ())) has all| find flour tally sugar tally oranges (Bag tallying| <tallying ((Entry apples @add 1 1) ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 28 | + | 008 :: (sugar (apples ())) has all| find flour tally sugar tally oranges (Bag ((Entry apples @add 1 1) ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 29 | + | 004 :: (sugar (apples ())) has all| find flour tally sugar (Bag tallying| tallying> oranges ((Entry apples @add 1 1) ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 30 | + | 007 :: (sugar (apples ())) has all| find flour tally sugar (Bag tallying| ((Entry apples @add 1 1) tallying> oranges ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 31 | + | 003 :: (sugar (apples ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) tallying> oranges ((Entry flour 1) ((Entry cherries 1) ())))) | |
| 32 | + | 007 :: (sugar (apples ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) tallying> oranges ((Entry cherries 1) ())))) | |
| 33 | + | 007 :: (sugar (apples ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) tallying> oranges ())))) | |
| 34 | + | 005 :: (sugar (apples ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <tallying ((Entry oranges 1) ()))))) | |
| 35 | + | 009 :: (sugar (apples ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) <tallying ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 36 | + | 009 :: (sugar (apples ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) <tallying ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 37 | + | 009 :: (sugar (apples ())) has all| find flour tally sugar (Bag tallying| <tallying ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 38 | + | 008 :: (sugar (apples ())) has all| find flour tally sugar (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 39 | + | 004 :: (sugar (apples ())) has all| find flour (Bag tallying| tallying> sugar ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 40 | + | 007 :: (sugar (apples ())) has all| find flour (Bag tallying| ((Entry apples 2) tallying> sugar ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 41 | + | 007 :: (sugar (apples ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) tallying> sugar ((Entry cherries 1) ((Entry oranges 1) ()))))) | |
| 42 | + | 007 :: (sugar (apples ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) tallying> sugar ((Entry oranges 1) ()))))) | |
| 43 | + | 007 :: (sugar (apples ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) tallying> sugar ()))))) | |
| 44 | + | 005 :: (sugar (apples ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) <tallying ((Entry sugar 1) ())))))) | |
| 45 | + | 009 :: (sugar (apples ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <tallying ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 46 | + | 009 :: (sugar (apples ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) <tallying ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 47 | + | 009 :: (sugar (apples ())) has all| find flour (Bag tallying| ((Entry apples 2) <tallying ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 48 | + | 009 :: (sugar (apples ())) has all| find flour (Bag tallying| <tallying ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 49 | + | 008 :: (sugar (apples ())) has all| find flour (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 50 | + | 010 :: (sugar (apples ())) has all| (Bag find| find> flour ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 51 | + | 013 :: (sugar (apples ())) has all| (Bag find| ((Entry apples 2) find> flour ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 52 | + | 011 :: (sugar (apples ())) has all| (Bag find| ((Entry apples 2) <found #yes ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 53 | + | 015 :: (sugar (apples ())) has all| (Bag find| <found #yes ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 54 | + | 014 :: (sugar (apples ())) has all| #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 55 | + | 018 :: has all (sugar (apples ())) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 56 | + | 017 :: (apples ()) has all| find sugar (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 57 | + | 010 :: (apples ()) has all| (Bag find| find> sugar ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 58 | + | 013 :: (apples ()) has all| (Bag find| ((Entry apples 2) find> sugar ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 59 | + | 013 :: (apples ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) find> sugar ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 60 | + | 013 :: (apples ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) find> sugar ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 61 | + | 013 :: (apples ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) find> sugar ((Entry sugar 1) ())))))) | |
| 62 | + | 011 :: (apples ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) <found #yes ((Entry sugar 1) ())))))) | |
| 63 | + | 015 :: (apples ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <found #yes ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 64 | + | 015 :: (apples ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) <found #yes ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 65 | + | 015 :: (apples ()) has all| (Bag find| ((Entry apples 2) <found #yes ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 66 | + | 015 :: (apples ()) has all| (Bag find| <found #yes ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 67 | + | 014 :: (apples ()) has all| #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 68 | + | 018 :: has all (apples ()) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 69 | + | 017 :: () has all| find apples (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 70 | + | 010 :: () has all| (Bag find| find> apples ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 71 | + | 011 :: () has all| (Bag find| <found #yes ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 72 | + | 014 :: () has all| #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 73 | + | 018 :: has all () (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 74 | + | 016 :: #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 75 | + | --- :: #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))) | |
| 76 | + | Completed in 73 rewrites needing 1761 iterations. | |
上一页
下一页