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: is_combination4 2: Searching: is_combination
5 3: Searching: is_subset(athena_attributes, freya_attributes)5 3: Searching: is_subset(athena_attributes, freya_attributes)
nn6 4: Searching: subset(athena_attributes, freya_attributes)
6 4: Searching: findall(Candidate Variable_0, (member(Candidate Variable_0, athena_attributes), member(Candidate Variable_0, freya_attributes)), Candidate Variable_1)7 5: Searching: findall(Candidate Variable_0, (member(_6902, athena_attributes), member(_6902, freya_attributes)), Candidate Variable_1)
7 5: Searching: findall(Candidate Variable_0, (member(Candidate Variable_0, [wisdom, war]), member(Candidate Variable_0, [love, fertility, war, death])), Candidate Variable_1)8 6: Searching: lists:member
8 6: Searching: member(Candidate Variable_2, [wisdom, war])9 7: Fail: lists:member | {'Result': 'Search Failed'}
9 7: Searching: member(Candidate Variable_2, [wisdom, war])10 8: Found: findall(Candidate Variable_0, user:(member(_6902, athena_attributes), member(_6902, freya_attributes)), [])
10 8: Searching: member(Candidate Variable_2, [love, fertility, war, death])11 9: Found: subset(athena_attributes, freya_attributes)
11 9: Searching: member(Candidate Variable_2, [love, fertility, war, death])12 10: Found: is_subset(athena_attributes, freya_attributes)
12 10: Searching: findall(Candidate Variable_0, (member(Candidate Variable_0, [wisdom, war]), member(Candidate Variable_0, [love, fertility, war, death])), Candidate Variable_1)13 11: Searching: is_subset(aphrodite_attributes, freya_attributes)
13 11: Fail: is_subset(athena_attributes, freya_attributes) | {'Result': 'Search Failed'}14 12: Searching: subset(aphrodite_attributes, freya_attributes)
15 13: Searching: findall(Candidate Variable_2, (member(_11904, aphrodite_attributes), member(_11904, freya_attributes)), Candidate Variable_3)
16 14: Searching: lists:member
17 15: Fail: lists:member | {'Result': 'Search Failed'}
18 16: Found: findall(Candidate Variable_2, user:(member(_11904, aphrodite_attributes), member(_11904, freya_attributes)), [])
19 17: Found: subset(aphrodite_attributes, freya_attributes)
20 18: Found: is_subset(aphrodite_attributes, freya_attributes)
21 19: Searching: is_equal(athena_attributes, freya_attributes)
22 20: Searching: is_subset(athena_attributes, freya_attributes)
23 21: Searching: subset(athena_attributes, freya_attributes)
24 22: Searching: findall(Candidate Variable_4, (member(_17518, athena_attributes), member(_17518, freya_attributes)), Candidate Variable_5)
25 23: Searching: lists:member
26 24: Fail: lists:member | {'Result': 'Search Failed'}
27 25: Found: findall(Candidate Variable_4, user:(member(_17518, athena_attributes), member(_17518, freya_attributes)), [])
28 26: Found: subset(athena_attributes, freya_attributes)
29 27: Found: is_subset(athena_attributes, freya_attributes)
30 28: Searching: is_superset(athena_attributes, freya_attributes)
31 29: Searching: subset(freya_attributes, athena_attributes)
32 30: Searching: findall(Candidate Variable_6, (member(_22520, freya_attributes), member(_22520, athena_attributes)), Candidate Variable_7)
33 31: Searching: lists:member
34 32: Fail: lists:member | {'Result': 'Search Failed'}
35 33: Found: findall(Candidate Variable_6, user:(member(_22520, freya_attributes), member(_22520, athena_attributes)), [])
36 34: Found: subset(freya_attributes, athena_attributes)
37 35: Found: is_superset(athena_attributes, freya_attributes)
38 36: Found: is_equal(athena_attributes, freya_attributes)
14 12: Fail: is_combination | {'Result': 'Search Failed'}39 37: Fail: is_combination | {'Result': 'Search Failed'}
15 13: Fail: query | {'Result': 'Search Failed'}40 38: Fail: query | {'Result': 'Search Failed'}
1641
t17Looking for other paths: Redo: is_subset(athena_attributes, freya_attributes)t
18 
19 
20[Path 2]:
21 14: Searching: is_subset(athena_attributes, freya_attributes)
22 15: Searching: is_subset(aphrodite_attributes, freya_attributes)
23 16: Searching: findall(Candidate Variable_3, (member(Candidate Variable_3, aphrodite_attributes), member(Candidate Variable_3, freya_attributes)), Candidate Variable_4)
24 17: Searching: findall(Candidate Variable_3, (member(Candidate Variable_3, [love]), member(Candidate Variable_3, [love, fertility, war, death])), Candidate Variable_4)
25 18: Searching: member(Candidate Variable_5, [love])
26 19: Searching: member(Candidate Variable_5, [love])
27 20: Searching: member(Candidate Variable_5, [love, fertility, war, death])
28 21: Searching: member(Candidate Variable_5, [love, fertility, war, death])
29 22: Searching: findall(Candidate Variable_3, (member(Candidate Variable_3, [love]), member(Candidate Variable_3, [love, fertility, war, death])), Candidate Variable_4)
30 23: Fail: is_subset(aphrodite_attributes, freya_attributes) | {'Result': 'Search Failed'}
31 24: Fail: is_combination | {'Result': 'Search Failed'}
32 25: Fail: query | {'Result': 'Search Failed'}
33 
34Looking for other paths: Redo: is_subset(aphrodite_attributes, freya_attributes)
35 
36 
37[Path 3]:
38 26: Searching: is_subset(aphrodite_attributes, freya_attributes)
39 27: Searching: \+ is_equal(athena_attributes, freya_attributes)
40 28: Searching: is_subset(athena_attributes, freya_attributes)
41 29: Searching: findall(Candidate Variable_6, (member(Candidate Variable_6, athena_attributes), member(Candidate Variable_6, freya_attributes)), Candidate Variable_7)
42 30: Searching: findall(Candidate Variable_6, (member(Candidate Variable_6, [wisdom, war]), member(Candidate Variable_6, [love, fertility, war, death])), Candidate Variable_7)
43 31: Searching: member(Candidate Variable_8, [wisdom, war])
44 32: Searching: member(Candidate Variable_8, [wisdom, war])
45 33: Searching: member(Candidate Variable_8, [love, fertility, war, death])
46 34: Searching: member(Candidate Variable_8, [love, fertility, war, death])
47 35: Searching: findall(Candidate Variable_6, (member(Candidate Variable_6, [wisdom, war]), member(Candidate Variable_6, [love, fertility, war, death])), Candidate Variable_7)
48 36: Fail: is_subset(athena_attributes, freya_attributes) | {'Result': 'Search Failed'}
49 37: Fail: \+ is_equal(athena_attributes, freya_attributes) | {'Result': 'Search Failed'}
50 38: Fail: is_combination | {'Result': 'Search Failed'}
51 39: Fail: query | {'Result': 'Search Failed'}
52 
53Looking for other paths: Redo: is_subset(athena_attributes, freya_attributes
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op