f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
| 2: Searching: price_difference(78, 113, 115, Candidate Variable_0) | | 2: Searching: price_difference(78, 113, 115, Candidate Variable_0) |
n | 3: Searching: _13904 is 78*115 | n | 3: Fail: price_difference(78, 113, 115, Candidate Variable_0) | {'Result': 'Search Failed'} |
| 4: Found: 9190 is 78*115 | | 4: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'} |
| 5: Searching: _15130 is 113*25 | | |
| 6: Found: 2825 is 113*25 | | |
| 7: Searching: _5834 is 9190-2825 | | |
| 8: Found: 6365 is 9190-2825 | | |
| 9: Found: price_difference(78, 113, 115, 6365) | | |
| 10: Found: query(6365) | {'Result': 'PriceDifference = 6365'} | | |
| | | |
t | The code efficiently computes the result using SWI-Prolog's arithmetic capabilities without any backtracking. | t | |