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

2.4 Practical Session

By this stage, you should have had your first taste of running Prolog programs. The purpose of the second practical session is to suggest two sets of keyboard exercises which will help you get familiar with the way Prolog works. The first set has to do with unification, the second with proof search.

First of all, start up your Prolog interpreter. That is, get a screen displaying the usual “I’m ready to start” prompt, which probably looks something like:

?-

Verify your answers to Exercise 2.1, the unification examples. You don’t need to consult any knowledge bases, simply ask Prolog directly whether it is possible to unify the terms by using the built-in =/2 predicate. For example, to test whether food(bread,X) and food(Y,sausage) unify, just type in

?- food(bread,X) = food(Y,sausage).

and hit return.

You should also look at what happens when your Prolog implementation attempts to unify terms that can’t be unified because it doesn’t carry out an occurs check. For example, see what happens when you give it the following query:

?- g(X,Y) = Y.

If it handles such examples, try the trickier one mentioned in the text:

?- X = f(X), Y = f(Y), X = Y.

Once you’ve experimented with that, it’s time to move on to something new. There is another built-in Prolog predicate for answering queries about unification, namely \=/2 (that is: the 2-place predicate \= ). This works in the opposite way to the =/2 predicate: it succeeds when its two arguments do not unify. For example, the terms a and b do not unify, which explains the following dialogue:

?- a \= b.
yes

Make sure you understand how \=/2 works by trying it out on (at least) the following examples. But do this actively, not passively. That is, after you type in an example, pause, and try to work out for yourself what Prolog is going to respond. Only then hit return to see if you are right.

  1. a  \=  a
  2. ’a’  \=  a
  3. A  \=  a
  4. f(a)  \=  a
  5. f(a)  \=  A
  6. f(A)  \=  f(a)
  7. g(a,B,c)  \=  g(A,b,C)
  8. g(a,b,c)  \=  g(A,C)
  9. f(X)  \=  X

Thus the \=/2 predicate is (essentially) the negation of the =/2 predicate: a query involving one of these predicates will be satisfied when the corresponding query involving the other is not, and vice versa. This is the first example we have seen of a Prolog mechanism for handling negation. We discuss Prolog negation (and its peculiarities) in Chapter  10 .

It’s time to move on and introduce one of the most helpful tools in Prolog: trace . This is a built-in Prolog predicate that changes the way Prolog runs: it forces Prolog to evaluate queries one step at a time, indicating what it is doing at each step. Prolog waits for you to press return before it moves to the next step, so that you can see exactly what is going on. It was really designed to be used as a debugging tool, but it’s also helpful when you’re learning Prolog: stepping through programs using trace is an excellent way of learning how Prolog proof search works.

Let’s look at an example. In the text, we looked at the proof search involved when we made the query k(Y) to the following knowledge base:

f(a).
f(b).

g(a).
g(b).

h(b).

k(X):- f(X), g(X), h(X).

Suppose this knowledge base is in file proof.pl . We first consult it:

?- [proof].
yes

We then type trace , followed by a full stop, and hit return:

?- trace.
yes

Prolog is now in trace mode, and will evaluate all queries step by step. For example, if we pose the query k(X) , and then hit return every time Prolog comes back with a ? , we obtain (something like) the following:

[trace] 2 ?- k(X).
   Call: (6) k(_G34) ?
   Call: (7) f(_G34) ?
   Exit: (7) f(a) ?
   Call: (7) g(a) ?
   Exit: (7) g(a) ?
   Call: (7) h(a) ?
   Fail: (7) h(a) ?
   Fail: (7) g(a) ?
   Redo: (7) f(_G34) ?
   Exit: (7) f(b) ?
   Call: (7) g(b) ?
   Exit: (7) g(b) ?
   Call: (7) h(b) ?
   Exit: (7) h(b) ?
   Exit: (6) k(b) ?

X = b
yes

Study this carefully. That is, try doing the same thing yourself, and relate this output to the discussion of the example in the text, and in particular, to the nodes in the search tree. To get you started, we’ll remark that the third line is where the variable in the query is (wrongly) instantiated to a . The first line marked fail is where Prolog realises it’s taken the wrong path and starts to backtrack, and the line marked redo is where it tries alternatives for the goal f(_G34) .

While learning Prolog, use trace, and use it heavily. It’s a great way to learn. Oh yes: you also need to know how to turn trace off. Simply type notrace (followed by a full stop) and hit return:

?- notrace.
yes

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