f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: can_all_dwarfs_play4 2: Searching: can_all_dwarfs_play
t5 3: Searching: findall(Dwarf, dwarf(Dwarf), Dwarfs)t5 3: Searching: findall(Candidate Variable_0, dwarf(_14478), Candidate Variable_1)
6 4: Searching: dwarf(Dwarf)6 4: Searching: dwarf(Candidate Variable_0)
7 5: Searching: dwarf(doc)7 5: Found: dwarf(doc)
8 6: Searching: dwarf(Dwarf)8 
9 7: Searching: dwarf(grumpy)9Looking for other paths: Redo: dwarf(Candidate Variable_0)
10 8: Searching: dwarf(Dwarf)10 
11 9: Searching: dwarf(happy)11 
12 10: Searching: dwarf(Dwarf)12[Path 2]:
13 11: Searching: dwarf(sleepy)13 6: Found: dwarf(grumpy)
14 12: Searching: dwarf(Dwarf)14 
15 13: Searching: dwarf(bashful)15Looking for other paths: Redo: dwarf(Candidate Variable_0)
16 14: Searching: dwarf(Dwarf)16 
17 15: Searching: dwarf(sneezy)17 
18 16: Searching: dwarf(Dwarf)18[Path 3]:
19 17: Searching: dwarf(dopey)19 7: Found: dwarf(happy)
20 18: Exit: dwarf(dopey)20 
21Looking for other paths: Redo: dwarf(Candidate Variable_0)
22 
23 
24[Path 4]:
25 8: Found: dwarf(sleepy)
26 
27Looking for other paths: Redo: dwarf(Candidate Variable_0)
28 
29 
30[Path 5]:
31 9: Found: dwarf(bashful)
32 
33Looking for other paths: Redo: dwarf(Candidate Variable_0)
34 
35 
36[Path 6]:
21 19Exit: dwarf(sneezy)37 10Found: dwarf(sneezy)
22 20: Exit: dwarf(bashful)38 
23 21: Exit: dwarf(sleepy)39Looking for other paths: Redo: dwarf(Candidate Variable_0)
24 22: Exit: dwarf(happy)40 
25 23: Exit: dwarf(grumpy)41 
26 24: Exit: dwarf(doc)42[Path 7]:
27 25: Dwarfs = [doc, grumpy, happy, sleepy, bashful, sneezy, dopey]43 11: Found: dwarf(dopey)
44 12: Found: findall(Candidate Variable_0, user:dwarf(_14478), [doc, grumpy, happy, sleepy, bashful, sneezy, dopey])
28 26: Searching: length([doc, grumpy, happy, sleepy, bashful, sneezy, dopey], Candidate Variable_0)45 13: Searching: length([doc, grumpy, happy, sleepy, bashful, sneezy, dopey], Candidate Variable_2)
29 27Searching: length([doc, grumpy, happy, sleepy, bashful, sneezy, dopey], 7)46 14Found: length([doc, grumpy, happy, sleepy, bashful, sneezy, dopey], 7)
30 28: Dwarfs = [doc, grumpy, happy, sleepy, bashful, sneezy, dopey],47 15: Searching: maximum_players(Candidate Variable_3)
31 29: NumDwarfs = 7
32 30: Searching: maximum_players(7)
33 31: Searching: maximum_players(7)48 16Found: maximum_players(7)
34 32: NumDwarfs = 7,
35 33: MaxPlayers = 7
36 34: Searching: 7=<749 17: Searching: 7=<7
37 35: Searching: 7=<750 18: Found: 7=<7
38 36: Exit: 7=<7
39 37: Can all dwarfs play: true
40 38Exit: can_all_dwarfs_play51 19Found: can_all_dwarfs_play
41 39: Exit: query52 20: Found: query | {'Result': 'Yes'}
53 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op