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: would_pray(mary, artemis)4 2: Searching: would_pray(mary, artemis)
5 3: Searching: christian(mary)5 3: Searching: christian(mary)
nn6 4: Found: christian(mary)
6 4: Searching: belief(christianity, _)7 5: Searching: belief(christianity, Candidate Variable_0)
8 6: Found: belief(christianity, monotheism)
7 5: Searching: greek(artemis)9 7: Searching: greek(artemis)
8 6: Fail: greek(artemis) | {'Result': 'Search Failed'}10 8: Found: greek(artemis)
911
t10Looking for other paths: Redo: would_pray(mary, artemis)t12Looking for other paths: Redo: belief(christianity, Candidate Variable_1)
13 
14 
15[Path 2]:
16 9: Found: belief(christianity, worship_of_jesus)
17 10: Searching: greek(artemis)
18 11: Found: greek(artemis)
19 12: Fail: would_pray(mary, artemis) | {'Result': 'Search Failed'}
20 13: Fail: query | {'Result': 'Search Failed'}
21 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op