f | [Path 1]: | f | [Path 1]: |
t | 0: Start of execution: Begining Search | t | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: isis_agrees_with_al_farabi(Candidate Variable_0) | | 2: Searching: isis_agrees_with_al_farabi(Candidate Variable_0) |
| 3: Searching: agreement_with_isis(rationalism) | | 3: Searching: agreement_with_isis(rationalism) |
| 4: Searching: religious_sect(al_farabi, rationalism) | | 4: Searching: religious_sect(al_farabi, rationalism) |
| | | 5: Found: religious_sect(al_farabi, rationalism) |
| 5: Searching: isis_beliefs(rationalism) | | 6: Searching: isis_beliefs(rationalism) |
| | | 7: Fail: isis_beliefs(rationalism) | {'Result': 'Search Failed'} |
| | | 8: Fail: agreement_with_isis(rationalism) | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: isis_agrees_with_al_farabi(Candidate Variable_0) |
| | | |
| | | |
| | | [Path 2]: |
| 6: Searching: agreement_with_isis(pursuit_of_knowledge) | | 9: Searching: agreement_with_isis(pursuit_of_knowledge) |
| 7: Searching: religious_sect(al_farabi, pursuit_of_knowledge) | | 10: Searching: religious_sect(al_farabi, pursuit_of_knowledge) |
| | | 11: Found: religious_sect(al_farabi, pursuit_of_knowledge) |
| 8: Searching: isis_beliefs(pursuit_of_knowledge) | | 12: Searching: isis_beliefs(pursuit_of_knowledge) |
| | | 13: Fail: isis_beliefs(pursuit_of_knowledge) | {'Result': 'Search Failed'} |
| | | 14: Fail: agreement_with_isis(pursuit_of_knowledge) | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: isis_agrees_with_al_farabi(Candidate Variable_0) |
| | | |
| | | |
| | | [Path 3]: |
| 9: Searching: agreement_with_isis(moral_virtues) | | 15: Searching: agreement_with_isis(moral_virtues) |
| 10: Searching: religious_sect(al_farabi, moral_virtues) | | 16: Searching: religious_sect(al_farabi, moral_virtues) |
| | | 17: Found: religious_sect(al_farabi, moral_virtues) |
| 11: Searching: isis_beliefs(moral_virtues) | | 18: Searching: isis_beliefs(moral_virtues) |
| 12: Searching: disagreement_with_isis(_) | | 19: Fail: isis_beliefs(moral_virtues) | {'Result': 'Search Failed'} |
| 13: Searching: Outcome=true | | 20: Fail: agreement_with_isis(moral_virtues) | {'Result': 'Search Failed'} |
| 14: Found: Outcome=true | | |
| 15: Found: Outcome=true | | Looking for other paths: Redo: isis_agrees_with_al_farabi(Candidate Variable_0) |
| 16: Found: Outcome=true | | |
| 17: Found: Outcome=true | | |
| 18: Found: Outcome=true | | [Path 4]: |
| 19: Found: Outcome=true | | 21: Searching: _15498=false |
| 20: Found: Outcome=true | | 22: Found: false=false |
| 21: Found: Outcome=true | | 23: Found: isis_agrees_with_al_farabi(false) |
| 22: Found: Outcome=true | | |
| 23: Found: Outcome=true | | |
| 24: Found: true | | |
| 25: Searching: true | | 24: Searching: false |
| 26: Found: true | | 25: Fail: false | {'Result': 'Search Failed'} |
| 27: Found: query | | 26: Fail: query | {'Result': 'Search Failed'} |
| ``` | | |