Evan, Tick <br/><br/>
Implementations of logic programming systems 
Tick Evan 
 - Boston   Kluwer Academic Publishers  1994 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic Programming
<br/><br/><label>LC Class. No.: </label>QA 76.63 .I47