document.writeln('<ul> <li> <a href="#SEC147">24. Prolog</a><ul><li> <a href="#SEC148">24.1 Concepts</a><li> <a href="#SEC149">24.2 An Interpreter</a><li> <a href="#SEC150">24.3 Rules</a><li> <a href="#SEC151">24.4 The Need for Nondeterminism</a><li> <a href="#SEC152">24.5 New Implementation</a><li> <a href="#SEC153">24.6 Adding Prolog Features</a><li> <a href="#SEC154">24.7 Examples</a><li> <a href="#SEC155">24.8 The Senses of Compile</a></ul></ul>');