Prolog query always looks for a sol

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.

النتائج (العربية) 1:

الاستعلام Prolog دائماً يبحث عن حل من خلال البدء في الجزء العلوي من الوقائع و/أو قواعد، ويبقى يبحث حتى يصل إلى الأسفل.محرك الاستدلال في Prolog يأخذ شروط قاعدة (هيئة القاعدة) ويبدو من خلال القائمة من الحقائق المعروفة والقواعد، في محاولة للوفاء بالشروط. متى استوفيت جميع الشروط، يتم العثور على علاقة تعتمد (رئيس القاعدة) ليكون صحيحاً.

النتائج (العربية) 2:

الاستعلام حاسوب تبدو دائما للتوصل إلى حل عن طريق البدء في الجزء العلوي من الحقائق و / أو القواعد، واستمرت بالنظر إلى أن يصل إلى أسفل.
محرك الاستدلال حاسوب يأخذ شروط قاعدة (الجسم سيادة)؟ ويبدو من خلال قائمة من الحقائق والقواعد المعروفة، في محاولة لتلبية هذه الشروط. مرة واحدة وقد تم استيفاء كافة الشروط، وجدت علاقة تعتمد (رئيس دولة) ليكون صحيحا.