Leadbetter, Peter <br/><br/>
Prolog: from formal specification to prototype 
Peter Leadbetter 
 - London  Blackwell scientific publications  1991 
 - x, 384p. 
<br/><br/><label>ISBN: </label>9 780632 031610 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Prolog(Computer program language)<br/>Data structures in Prolog
<br/><br/><label>Dewey Class. No.: </label>004.43PR  LEA