="ailog21.pl"><i>ailog21.pl</i></a> is AILog version 2.1,
which finds all explanations and so does not work for large examples.
</li><li>the whole distribution at <a href="http://artint.info/code/ailog.zip">http://artint.info/code/ailog.zip</a>.
</li></ul>

		</div>
		
	<!-- content ends-->	
	</div>
		
	<!-- footer starts -->		
	<div id="footer">						
		<p>	Copyright &copy; 2010, <a href="http://cs.ubc.ca/~poole/">David Poole</a> and 
  			<a href="http://cs.ubc.ca/~mack/">Alan
                        Mack