Lalement, Rene. , <br/><br/>
Computation as logic / 
Rene Lalement ;translated by John Plaice. 
<br/><br/><label>ISBN: </label>0137700091 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming.<br/>Functional programming (Computer science).<br/>Logic, symbolic and mathematical.
<br/><br/><label>LC Class. No.: </label>QA76.63   / .L35 1993