 <a href="http://www.cs.utexas.edu/users/ml/dolphin.html">DOLPHIN</a> - An ILP/EBL speedup-learning system for adding search-control to Prolog programs. <li>
