       </div>
      </div>
      <header class="navbar navbar-default navbar-fixed-bottom bs-docs-nav">
         <div class="footer">
            <p class="muted credit pull-left">
               Powered by 
               <a target="_blank" href="http://www.swi-prolog.org/">SWI-Prolog</a> 
               and the 
               <a target="_blank"href="http://www.swi-prolog.org/pldoc/doc_for?object=section%28%27packages/pengines.html%27%29">Pengines package</a>.
            </p>
            <input class="pu