ions</a>
      components of the Zoo World, and their <a href="zoo/zoo">union</a>
  <li>The description of <a href="zoo/zoo-example">a little zoo</a>
      and Test Queries <a href="zoo/zoo-test1">1</a>,
      <a href="zoo/zoo-test2">2</a>,
      <a href="zoo/zoo-test3">3</a>,
      <a href="zoo/zoo-test4">4</a>,
      <a href="zoo/zoo-test5">5</a> and
      <a href="zoo/zoo-test6">6</a><br>
      To run Test 1, type<br>
      <tt>| ?- loadf[zoo,'zoo-example','zoo-test1'].</tt><br>
      and then<br>
      