Downward, Michael <br/><br/>
Logic and declarative language / 
Michael Downward 
 - London :  Taylor & Francis,  1998 
 - 362 p. :  ill. ;  24 cm. 
<br/><br/>p. 357-358 
<br/><br/><label>ISBN: </label>0748408037  RM329.35 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming languages<br/>Declarative programming<br/>Programming languages (Electronic computers)<br/>Prolog (Computer program language)