This version of Learn Prolog Now! embeds SWI SH , SWI-Prolog for SHaring. The current version rewrites the Learn Prolog Now! HTML on the fly, recognising source code and example queries. It is not yet good at recognising the relations between source code fragments and queries. Also Learn Prolog Now! needs some updating to be more compatible with SWI-Prolog. All sources are on GitHub:
LearnPrologNow LPN SWISH Proxy SWISH

1.4 Practical Session

Don’t be fooled by the fact that the description of the practical sessions is shorter than the text you have just read; the practical part is definitely the most important. Yes, you need to read the text and do the exercises, but that’s not enough to become a Prolog programmer. To really master the language you need to sit down in front of a computer and play with Prolog — a lot!

The goal of the first practical session is for you to become familiar with the basics of how to create and run simple Prolog programs. Now, because there are many different implementations of Prolog, and different operating systems you can run them under, we can’t be too specific here. Rather, what we’ll do is describe in very general terms what is involved in running Prolog, list the practical skills you need to master, and suggest some things for you to do.

The simplest way to run a Prolog program is as follows. You have a file with your Prolog program in it (for example, you may have a file kb2.pl which contains the knowledge base KB2). You then start Prolog. Prolog will display its prompt, something like

?-

which indicates that it is ready to accept a query.

Now, at this stage, Prolog knows absolutely nothing about KB2 (or indeed anything else). To see this, type in the command listing , followed by a full stop, and hit return. That is, type

?- listing.

and press the return key.

Now, the listing command is a special built-in Prolog predicate that instructs Prolog to display the contents of the current knowledge base. But we haven’t yet told Prolog about any knowledge bases, so it will just say

yes

This is a correct answer: as yet Prolog knows nothing — so it correctly displays all this nothing and says yes . Actually, with more sophisticated Prolog implementations you may get a little more (for example, the names of libraries that have been loaded; libraries are discussed in Chapter  12 ) but, one way or another, you will receive what is essentially an “I know nothing about any knowledge bases!” answer.

So let’s tell Prolog about KB2. Assuming that you’ve stored KB2 in the file kb2.pl , and that this file is in the directory where you’re running Prolog, all you have to type is

?- [kb2].

This tells Prolog to consult the file kb2.pl , and load the contents as its new knowledge base. Assuming that kb2.pl contains no typos, Prolog will read it in, maybe print out a message saying that it is consulting this file, and then answer:

yes

Incidentally, it is common to store Prolog code in files with a .pl suffix. It’s an indication of what the file contains (namely Prolog code) and with some Prolog implementations you don’t actually have to type in the .pl suffix when you consult a file. Nice — but there is a drawback. Files containing Perl scripts usually have a .pl suffix too, and nowadays there are a lot of Perl scripts in use, so this can cause confusion. C’est la vie.

If the above doesn’t work, that is, if typing

?- [kb2].

produces an error message saying that the file kb2 does not exist, then you probably haven’t started Prolog from the directory where kb2.pl is stored. In that case, you can either stop Prolog (by typing halt. after the prompt), change to the directory where kb2.pl is stored, and start Prolog again. Or you can tell Prolog exactly where to look for kb2.pl . To do this, instead of writing only kb2 between the square brackets, you give Prolog the whole path enclosed in single quotes. For example, you type something like

?- ['home/kris/Prolog/kb2.pl'].

or

?- ['c:/Documents and Settings/Kris/Prolog/kb2.pl'].

Ok, so Prolog should now know about all the KB2 predicates. And we can check whether it does by using the listing command again:

?- listing.

If you do this, Prolog will list (something like) the following on the screen:

listens2Music(mia).
happy(yolanda).
playsAirGuitar(mia):-
   listens2Music(mia).
playsAirGuitar(yolanda):-
   listens2Music(yolanda).
listens2Music(yolanda):-
   happy(yolanda).

yes

That is, it will list the facts and rules that make up KB2, and then say yes . Once again, you may get a little more than this, such as the locations of various libraries that have been loaded.

Incidentally, listing can be used in other ways. For example, typing

?- listing(playsAirGuitar).

simply lists all the information in the knowledge base about the playsAirGuitar predicate. So in this case Prolog will display

playsAirGuitar(mia):-
   listens2Music(mia).
playsAirGuitar(yolanda):-
   listens2Music(yolanda).

yes

Well — now you’re ready to go. KB2 is loaded and Prolog is running, so you can (and should!) start making exactly the sort of inquiries we discussed in the text.

But let’s back up a little, and summarise a few of the practical skills you will need to master to get this far:

  • You will need to know some basic facts about the operating system you are using, such as the directory structure it uses. After all, you will need to know how to save the files containing programs where you want them.
  • You will need to know how to use some sort of text editor, in order to write and modify programs. Some Prolog implementations come with built-in text editors, but if you already know a text editor (such as Emacs) you can use this to write your Prolog code. Just make sure that you save your files as simple text files (for example, if you are working under Windows, don’t save them as Word documents).
  • You may want to take example Prolog programs from the internet. So make sure you know how to use a browser to find what you want, and to store the code where you want it.
  • You need to know how to start your version of Prolog, and how to consult files with it.

The sooner you pick up these skills, the better. With them out of the way (which shouldn’t take long) you can start concentrating on mastering Prolog (which will take longer).

But assuming you have mastered these skills, what next? Quite simply, play with Prolog! Consult the various knowledge bases discussed in the text, and check that the queries discussed really do work the way we said they did. In particular, take a look at KB5 and make sure you understand why you get those peculiar jealousy relations. Try posing new queries. Experiment with the listing predicate (it’s a useful tool). Type in the knowledge base used in Exercise  1.5 , and check whether your answers are correct. Best of all, think of some simple situation that interests you, and create a brand-new knowledge base from scratch.

eXTReMe Tracker
© 2006-2012 Patrick Blackburn, Johan Bos, Kristina Striegnitz