It
前に述べた「Logic programming」を指す三人称単数代名詞です。
uses
「～を使う」「利用する」という意味の動詞です。三人称単数現在形。
an
母音で始まる単数名詞の前に置かれ、「1つの」「ある」という意味を表します。
inference engine
論理的な推論を行うソフトウェアコンポーネントを指します。
to deduce
「～するために推論する」という目的を表す不定詞句です。
facts
「事実」「真実」という意味の名詞の複数形です。
from rules
「規則から」という意味で、推論の源泉を示します。