Clocksin, William F <br/><br/>
Programming in Prolog using the ISO Standard 

<br/><br/><label>ISBN: </label>9783540006787