Prolog includes an inference engine

Prolog includes an inference engine, which is a process for reasoning logically about information. The inference engine includes a pattern matcher, which retrieves stored (known) information by matching answers to questions.
Prolog's known world is the finite set of facts (and rules) that are given in the program.

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

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

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

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