Maier,  David <br/><br/>
Computing with logic  :   logic programming with Prolog. / 
Maier, David, Warren, David S. 
<br/><br/><label>Dewey Class. No.: </label>005.133 M281C R