Prolog query always looks for a solution by starting at the top of the facts and/or rules, and keeps looking until it reaches the bottom.
Prolog's inference engine takes the conditions of a rule (the body of the rule)and looks through its list of known facts and rules, trying to satisfy the conditions. Once all the conditions have been met, the dependent relation (the head of the rule) is found to be true.