Now, we'll look at how to create a knowledge base and apply inference in Prolog. Let's start by looking at the Prolog environment:
- If you are on Windows, go to
Programs
|Prolog
- If you are on a Mac, go to
Applications
|Prolog
- In Linux, go to the Terminal and type
Prolog
, and the environment will come up
The following screenshot shows the Prolog environment in Windows:
The ?-
object is the Prolog prompt, or the Prolog interpreter. Whatever we type here will be executed; Prolog will be treated as a predicate, and it will give the result as either true
or false
. Therefore, if we want to create new rules, we go to File
and either create a new knowledge base (using New ...)
or Edit ...
an existing knowledge base, as follows:
If you're working on Windows or Mac, you will have to open your knowledge base in a text editor. You can use gedit, you can use Mino on Linux, or you can use the text editor that is available with Mac. We've already created a...