Maier, David <br/><br/>
Computing with logic :  logic programming with Prolog /  
David Maier, David S. Warren 
 - Menlo Park, Calif. :  Benjamin/Cummings Pub. Co.,  c1988 
 - xxi, 535 p. :  ill. ;  24 cm 
<br/><br/>Part I : Prologs and Propositional Logic (Page-1) Part II: Datalog and Predicate and Logic (Page-119) Part III Prolog and Functional Logic (Page-265). 
<br/><br/><label>ISBN: </label>0-8053-6681-4 (pbk.) ; 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming<br/>Prolog (Computer program language)
<br/><br/><label>Dewey Class. No.: </label>005.133,MAI  / 3