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.