Narain, Sanjai,  1957, <br/><br/>
LOG(F) :  an optimal combination of logic programming, rewriting, and lazy evaluation / 
Sanjai Narain 
 - 1 volume (various pagings) :  illustrations;  28 cm. 
 - The Rand paper series ;  P-7437 .
 - The Rand paper series ;  P-7437 .
<br/><br/>Includes bibliographical references 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming.<br/>Rewriting systems (Computer science)