wordle-baked
· 4.8 KiB · Text
Raw
Playground
=== RULES ===
CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(1, false), (2, false)] }, CookedFact { stack: 3, arity: 5, elements: [(4, false), (5, true), (6, true), (7, true), (8, true)] }], result: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (11, false), (11, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (5, false), (5, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (6, false), (6, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (7, false), (7, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (12, false), (12, true)] }, CookedFact { stack: 0, arity: 2, elements: [(13, false), (14, false)] }] }
CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(10, true)] }, CookedFact { stack: 17, arity: 1, elements: [(18, true)] }, CookedFact { stack: 19, arity: 1, elements: [(15, true)] }], result: [CookedFact { stack: 17, arity: 1, elements: [(20, false)] }, CookedFact { stack: 21, arity: 1, elements: [(10, true)] }, CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(10, true)] }, CookedFact { stack: 17, arity: 1, elements: [(22, true)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 17, arity: 1, elements: [(23, false)] }, CookedFact { stack: 21, arity: 1, elements: [(10, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }] }
CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(24, true)] }, CookedFact { stack: 17, arity: 1, elements: [(23, false)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 21, arity: 1, elements: [(24, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 17, arity: 1, elements: [(23, false)] }] }
CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(24, true)] }, CookedFact { stack: 17, arity: 1, elements: [(22, true)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 17, arity: 1, elements: [(25, false)] }, CookedFact { stack: 21, arity: 1, elements: [(24, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }] }
CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }], result: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 21, arity: 1, elements: [(10, true)] }], result: [CookedFact { stack: 16, arity: 1, elements: [(10, true)] }, CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 17, arity: 1, elements: [(22, true)] }], result: [CookedFact { stack: 26, arity: 1, elements: [(22, true)] }, CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }], result: [CookedFact { stack: 19, arity: 5, elements: [(27, false), (5, false), (6, false), (7, false), (8, false)] }, CookedFact { stack: 17, arity: 1, elements: [(28, false)] }] }
CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(13, false), (14, false)] }, CookedFact { stack: 26, arity: 1, elements: [(22, true)] }], result: [CookedFact { stack: 14, arity: 1, elements: [(22, true)] }, CookedFact { stack: 0, arity: 2, elements: [(13, false), (14, false)] }] }
CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(13, false), (14, false)] }], result: [] }
=== FACTS ===
CookedFact { stack: 0, arity: 2, elements: [(1, false), (2, false)] }
CookedFact { stack: 16, arity: 1, elements: [(30, false)] }
CookedFact { stack: 3, arity: 1, elements: [(29, false)] }
| 1 | === RULES === |
| 2 | CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(1, false), (2, false)] }, CookedFact { stack: 3, arity: 5, elements: [(4, false), (5, true), (6, true), (7, true), (8, true)] }], result: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (11, false), (11, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (5, false), (5, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (6, false), (6, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (7, false), (7, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (12, false), (12, true)] }, CookedFact { stack: 0, arity: 2, elements: [(13, false), (14, false)] }] } |
| 3 | CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(10, true)] }, CookedFact { stack: 17, arity: 1, elements: [(18, true)] }, CookedFact { stack: 19, arity: 1, elements: [(15, true)] }], result: [CookedFact { stack: 17, arity: 1, elements: [(20, false)] }, CookedFact { stack: 21, arity: 1, elements: [(10, true)] }, CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] } |
| 4 | CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(10, true)] }, CookedFact { stack: 17, arity: 1, elements: [(22, true)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 17, arity: 1, elements: [(23, false)] }, CookedFact { stack: 21, arity: 1, elements: [(10, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }] } |
| 5 | CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(24, true)] }, CookedFact { stack: 17, arity: 1, elements: [(23, false)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 21, arity: 1, elements: [(24, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 17, arity: 1, elements: [(23, false)] }] } |
| 6 | CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(24, true)] }, CookedFact { stack: 17, arity: 1, elements: [(22, true)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 17, arity: 1, elements: [(25, false)] }, CookedFact { stack: 21, arity: 1, elements: [(24, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }] } |
| 7 | CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }], result: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] } |
| 8 | CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 21, arity: 1, elements: [(10, true)] }], result: [CookedFact { stack: 16, arity: 1, elements: [(10, true)] }, CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] } |
| 9 | CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] } |
| 10 | CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 17, arity: 1, elements: [(22, true)] }], result: [CookedFact { stack: 26, arity: 1, elements: [(22, true)] }, CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] } |
| 11 | CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }], result: [CookedFact { stack: 19, arity: 5, elements: [(27, false), (5, false), (6, false), (7, false), (8, false)] }, CookedFact { stack: 17, arity: 1, elements: [(28, false)] }] } |
| 12 | CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(13, false), (14, false)] }, CookedFact { stack: 26, arity: 1, elements: [(22, true)] }], result: [CookedFact { stack: 14, arity: 1, elements: [(22, true)] }, CookedFact { stack: 0, arity: 2, elements: [(13, false), (14, false)] }] } |
| 13 | CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(13, false), (14, false)] }], result: [] } |
| 14 | |
| 15 | === FACTS === |
| 16 | CookedFact { stack: 0, arity: 2, elements: [(1, false), (2, false)] } |
| 17 | CookedFact { stack: 16, arity: 1, elements: [(30, false)] } |
| 18 | CookedFact { stack: 3, arity: 1, elements: [(29, false)] } |
| 19 |