f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_1, Candidate Variable_2) | | 1: Searching: query(Candidate Variable_0, Candidate Variable_1) |
| 2: Searching: jacks_dishes(Candidate Variable_3) | | 2: Searching: jacks_dishes(Candidate Variable_2) |
| 3: Found: jacks_dishes(60) | | 3: Found: jacks_dishes(60) |
n | 4: Searching: jack_socks(60, Candidate Variable_4) | n | 4: Searching: jack_socks(60, Candidate Variable_3) |
| 5: Searching: _14512 is 60/2 | | 5: Searching: _15126 is 60/2 |
| 6: Found: 30 is 60/2 | | 6: Found: 30 is 60/2 |
| 7: Found: jack_socks(60, 30) | | 7: Found: jack_socks(60, 30) |
n | 8: Searching: peter_socks(30, Candidate Variable_5) | n | 8: Searching: peter_socks(30, Candidate Variable_4) |
| 9: Searching: _16964 is 2*30 | | 9: Searching: _17582 is 2*30 |
| 10: Found: 60 is 2*30 | | 10: Found: 60 is 2*30 |
| 11: Found: peter_socks(30, 60) | | 11: Found: peter_socks(30, 60) |
n | 12: Searching: total_items(30, 60, 60, Candidate Variable_1, Candidate Variable_2) | n | 12: Searching: total_items(30, 60, 60, Candidate Variable_0, Candidate Variable_1) |
| 13: Searching: _20642 is 30+60 | | 13: Searching: _5830 is 30+60 |
| 14: Found: 90 is 30+60 | | 14: Found: 90 is 30+60 |
n | 15: Searching: _21868 is 60+2*60 | n | 15: Searching: _5832 is 60+2*60 |
| 16: Found: 150 is 60+2*60 | | 16: Found: 180 is 60+2*60 |
| 17: Found: total_items(30, 60, 60, 90, 150) | | 17: Found: total_items(30, 60, 60, 90, 180) |
| 18: Found: query(90, 150) | {'Result': 'TotalSocks = 90, TotalDishes = 150'} | | 18: Found: query(90, 180) | {'Result': 'TotalDishes = 180, TotalSocks = 90'} |
| | | |
t | ### | t | |
| | | |
| Found the solution! | | |