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_0) | | 1: Searching: query(Candidate Variable_0) |
| 2: Searching: cats_left_on_rock(50, Candidate Variable_0) | | 2: Searching: cats_left_on_rock(50, Candidate Variable_0) |
t | | t | 3: Searching: initial_cats(50) |
| | | 4: Found: initial_cats(50) |
| 3: Searching: cats_taken_by_boats(20, Candidate Variable_1) | | 5: Searching: cats_taken_by_boats(Candidate Variable_1, Candidate Variable_2) |
| 4: Searching: _14514 is 4*5 | | 6: Searching: _18054 is 4*5 |
| 5: Found: 20 is 4*5 | | 7: Found: 20 is 4*5 |
| | | 8: Searching: initial_cats(Candidate Variable_3) |
| | | 9: Found: initial_cats(50) |
| 6: Searching: _15734 is 50-20 | | 10: Searching: _17440 is 50-20 |
| 7: Found: 30 is 50-20 | | 11: Found: 30 is 50-20 |
| 8: Found: cats_taken_by_boats(20, 30) | | 12: Found: cats_taken_by_boats(20, 30) |
| 9: Searching: chased_mouse(30, Candidate Variable_2, Candidate Variable_0) | | 13: Searching: chased_mouse(30, Candidate Variable_4, Candidate Variable_0) |
| 10: Searching: _18206 is 3/5*30 | | 14: Searching: _22962 is 3/5*30 |
| 11: Found: 18 is 3/5*30 | | 15: Found: 18.0 is 3/5*30 |
| 12: Searching: _19432 is 30-18 | | 16: Searching: _7542 is 30-18.0 |
| 13: Found: 12 is 30-18 | | 17: Found: 12.0 is 30-18.0 |
| 14: Found: chased_mouse(30, 18, 12) | | 18: Found: chased_mouse(30, 18.0, 12.0) |
| 15: Found: cats_left_on_rock(50, 12) | | 19: Found: cats_left_on_rock(50, 12.0) |
| 16: Found: query(12) | {'Result': 'RemainingAfter = 12'} | | 20: Found: query(12.0) | {'Result': 'RemainingAfter = 12.0'} |
| | | |