f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: parent(cornelius, beverly)4 2: Searching: parent(cornelius, beverly)
5 3: Found: parent(cornelius, beverly)5 3: Found: parent(cornelius, beverly)
6 4: Searching: daughter(beverly, cornelius)6 4: Searching: daughter(beverly, cornelius)
n7 5: Searching: parent(beverly, cornelius)n7 5: Searching: parent(cornelius, beverly)
8 6: Found: parent(cornelius, beverly)8 6: Found: parent(cornelius, beverly)
9 7: Searching: female(beverly)9 7: Searching: female(beverly)
10 8: Found: female(beverly)10 8: Found: female(beverly)
11 9: Found: daughter(beverly, cornelius)11 9: Found: daughter(beverly, cornelius)
t1210: Found: query | {'Result': 'truth = True'}t12 10: Found: query | {'Result': 'truth = True'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op