f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: can_all_dwarfs_play | | 2: Searching: can_all_dwarfs_play |
t | 3: Searching: findall(Dwarf, dwarf(Dwarf), Dwarfs) | t | 3: Searching: findall(Candidate Variable_0, dwarf(_14478), Candidate Variable_1) |
| 4: Searching: dwarf(Dwarf) | | 4: Searching: dwarf(Candidate Variable_0) |
| 5: Searching: dwarf(doc) | | 5: Found: dwarf(doc) |
| 6: Searching: dwarf(Dwarf) | | |
| 7: Searching: dwarf(grumpy) | | Looking for other paths: Redo: dwarf(Candidate Variable_0) |
| 8: Searching: dwarf(Dwarf) | | |
| 9: Searching: dwarf(happy) | | |
| 10: Searching: dwarf(Dwarf) | | [Path 2]: |
| 11: Searching: dwarf(sleepy) | | 6: Found: dwarf(grumpy) |
| 12: Searching: dwarf(Dwarf) | | |
| 13: Searching: dwarf(bashful) | | Looking for other paths: Redo: dwarf(Candidate Variable_0) |
| 14: Searching: dwarf(Dwarf) | | |
| 15: Searching: dwarf(sneezy) | | |
| 16: Searching: dwarf(Dwarf) | | [Path 3]: |
| 17: Searching: dwarf(dopey) | | 7: Found: dwarf(happy) |
| 18: Exit: dwarf(dopey) | | |
| | | Looking for other paths: Redo: dwarf(Candidate Variable_0) |
| | | |
| | | |
| | | [Path 4]: |
| | | 8: Found: dwarf(sleepy) |
| | | |
| | | Looking for other paths: Redo: dwarf(Candidate Variable_0) |
| | | |
| | | |
| | | [Path 5]: |
| | | 9: Found: dwarf(bashful) |
| | | |
| | | Looking for other paths: Redo: dwarf(Candidate Variable_0) |
| | | |
| | | |
| | | [Path 6]: |
| 19: Exit: dwarf(sneezy) | | 10: Found: dwarf(sneezy) |
| 20: Exit: dwarf(bashful) | | |
| 21: Exit: dwarf(sleepy) | | Looking for other paths: Redo: dwarf(Candidate Variable_0) |
| 22: Exit: dwarf(happy) | | |
| 23: Exit: dwarf(grumpy) | | |
| 24: Exit: dwarf(doc) | | [Path 7]: |
| 25: Dwarfs = [doc, grumpy, happy, sleepy, bashful, sneezy, dopey] | | 11: Found: dwarf(dopey) |
| | | 12: Found: findall(Candidate Variable_0, user:dwarf(_14478), [doc, grumpy, happy, sleepy, bashful, sneezy, dopey]) |
| 26: Searching: length([doc, grumpy, happy, sleepy, bashful, sneezy, dopey], Candidate Variable_0) | | 13: Searching: length([doc, grumpy, happy, sleepy, bashful, sneezy, dopey], Candidate Variable_2) |
| 27: Searching: length([doc, grumpy, happy, sleepy, bashful, sneezy, dopey], 7) | | 14: Found: length([doc, grumpy, happy, sleepy, bashful, sneezy, dopey], 7) |
| 28: Dwarfs = [doc, grumpy, happy, sleepy, bashful, sneezy, dopey], | | 15: Searching: maximum_players(Candidate Variable_3) |
| 29: NumDwarfs = 7 | | |
| 30: Searching: maximum_players(7) | | |
| 31: Searching: maximum_players(7) | | 16: Found: maximum_players(7) |
| 32: NumDwarfs = 7, | | |
| 33: MaxPlayers = 7 | | |
| 34: Searching: 7=<7 | | 17: Searching: 7=<7 |
| 35: Searching: 7=<7 | | 18: Found: 7=<7 |
| 36: Exit: 7=<7 | | |
| 37: Can all dwarfs play: true | | |
| 38: Exit: can_all_dwarfs_play | | 19: Found: can_all_dwarfs_play |
| 39: Exit: query | | 20: Found: query | {'Result': 'Yes'} |
| | | |