</a></li>
			<li><a href="../../slides/slides.html">Slides</a></li>
		</ul>
	<!-- navigation ends-->	
	</div>					
			
	<!-- content starts -->
	<div id="content">
	
		<div id="main">
		  <h1>AILog 2</h1>
<h2>A logic programming language with probabilities and logical
explanation and debugging faculities</h2>

<ul>
  <li>Here is the <a href="ailog_man.html">user manual</a> (or in <a href="ailog_man.pdf">pdf</a>)
  </li>
  <li>You can download <a href="ailog2.pl">AILog2</a>.
This runs in <a href="http://www.