This will be updated as I hear of mistakes.
The code in section 11.2 on page 356 is missing some commas. Here is a complete file that has been tested in Ciao Prolog.