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: unlikely_need4 2: Searching: unlikely_need
5 3: Searching: compare_roles5 3: Searching: compare_roles
6 4: Searching: railroad_engineer_skills(Candidate Variable_0)6 4: Searching: railroad_engineer_skills(Candidate Variable_0)
t7 5: Searching: railroad_engineer_skills([train_operation, safety_protocols, track_management])t
8 6: Searching: nascar_skills_and_knowledge(Candidate Variable_1)7 5: Searching: nascar_skills_and_knowledge(Candidate Variable_1)
9 7Searching: nascar_skills_and_knowledge([driving, car_maintenance, safety_procedures])8 6Found: nascar_skills_and_knowledge([driving, car_maintenance, safety_procedures])
10 8: Searching: \+ member(train_operation, [driving, car_maintenance, safety_procedures])9 7: Searching: lists:member
11 9: Searching: \+ member(train_operation, [driving, car_maintenance, safety_procedures])10 8: Fail: lists:member | {'Result': 'Search Failed'}
12 10: Searching: \+ member(safety_protocols, [driving, car_maintenance, safety_procedures])11 
13 11: Searching: \+ member(safety_protocols, [driving, car_maintenance, safety_procedures])12Looking for other paths: Redo: compare_roles
14 12: Searching: \+ member(track_management, [driving, car_maintenance, safety_procedures])13 
15 13: Searching: \+ member(track_management, [driving, car_maintenance, safety_procedures])14 
16 14: Searching: compare_roles | {'Result': 'yes'}15[Path 2]:
16 
17 
18[Path 3]:
19 9: Searching: lists:member
20 10: Fail: lists:member | {'Result': 'Search Failed'}
21 
22Looking for other paths: Redo: compare_roles
23 
24 
25[Path 4]:
26 11: Found: compare_roles
17 15: Searching: safety_and_operations27 12: Searching: safety_and_operations
18 16: Searching: nascar_event_roles(Candidate Variable_2)28 13: Searching: nascar_event_roles(Candidate Variable_2)
19 17Searching: nascar_event_roles([drivers, pit_crew, safety_personnel])29 14Found: nascar_event_roles([drivers, pit_crew, safety_personnel])
20 18: Searching: \+ member(safety_personnel, [drivers, pit_crew, safety_personnel])30 15: Searching: lists:member
21 19: Searching: \+ member(safety_personnel, [drivers, pit_crew, safety_personnel])31 16: Found: lists:member
22 20: Searching: \+ member(train_operation, [drivers, pit_crew, safety_personnel])
23 21: Searching: \+ member(train_operation, [drivers, pit_crew, safety_personnel])
24 22: Searching: \+ member(safety_protocols, [drivers, pit_crew, safety_personnel])
25 23: Searching: \+ member(safety_protocols, [drivers, pit_crew, safety_personnel])
26 24Searching: safety_and_operations | {'Result': 'yes'}32 17Fail: safety_and_operations | {'Result': 'Search Failed'}
27 25: Searching: unlikely_need | {'Result': 'yes'}33 18: Fail: unlikely_need | {'Result': 'Search Failed'}
28 26: Searching: query | {'Result': 'yes'}34 19: Fail: query | {'Result': 'Search Failed'}
35 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op