TY  - BOOK
AU  - Kifer,Michael
AU  - Liu,Yanhong Annie
TI  - Declarative logic programming : : theory, systems, and applications 
T2  - ACM books,
SN  - 1970001968 (paperback)
AV  - QA76.63 .D43 2018
U1  - 005.115  
CY  - [New York]
PB  - ACM, Association for Computing Machinery
KW  - Logic programming.
KW  - Declarative programming
N1  - The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S. Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular.--Preface; Includes bibliographical references and index; Datalog : concepts, history, and outlook / David Maier, K. Tuncay Tekle, Michael Kifer, David S. Warren -- An introduction to the stable and well-founded semantics of logic programs / Miroslaw Truszcynski -- A survey of probabilistic logic programming / Fabrizio Riguzzi, Theresa Swift -- WAM for everyone : a virtual machine for logic programming / David S. Warren -- Predicate logic as a modeling language : the IDP system / Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker --
SolverBlox : algebraic modeling in datalog / Conrado Borraz-Sánchez, Diego Klabjan, Emir Pasalic, Molham Aref -- Exploring life : answer set programming in bioinformatics / Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli -- State-space search with tabled logic programs / C.R. Ramakrishnan -- Natural language processing with (tabled and constraint) logic programing / Henning Christiansen, Verónica Dahl -- Logic programming applications : what are the abstractions and implementations? / Yanhong A. Liu; Item is also available in electronic format; Available in ACM Digital Library
N2  - The goal of this book is to help fill in the previously mentioned void in the LP literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students. The following chapters in theory, systems, and applications of LP are included
UR  - https://dl-acm-org.ezproxy.apu.edu.my/doi/book/10.1145/3191315
ER  -