%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% An Introduction to Prolog Programming                     %
% (c) 1999-2007 by Ulle Endriss (ulle@illc.uva.nl)          %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% ERRATA                                                    %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

This is a list of known errors in my lecture notes on Prolog. 
Please let me know in case you spot any further such errors.
Page numbers refer to the latest version (7 July 2007), 
which is available at the following URL:

  http://www.illc.uva.nl/~ulle/teaching/prolog/prolog.pdf 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Page 9: On this page the following example is given:

  ?- X = my_functor(Y).
  X = my_functor(_G177)
  Y = _G177
  Yes

This example has been generated using an old version of SWI
Prolog. Using the latest release we get this output instead:

  ?- X = my_functor(Y).
  X = my_functor(Y)
  Yes

That is, the (somewhat redundant) introduction of a new 
variable name (_G177) is omitted.
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Throughout the notes, examples of queries that succeed are 
indicated with the word "yes", while examples for queries 
that fail are indicated with the word "No". Some recent 
versions of SWI Prolog actually return the words "true" and 
"fail" instead (but the underlying meaning is the same).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%