Declarative Logic Programming :  Theory, Systems, and Applications / 
Michael Kifer and Yanhong Annie Liu, editors. 
 - First edition. 
 - 1 online resource (xx, 595 pages). 
 - ACM books ;  Number 20 .
 - ACM books ;  Number 20. .
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>9781970001976 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Declarative programming.<br/>Logic programming.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.615  / .D435 2018 
<br/><br/><label>Dewey Class. No.: </label>005.131