01854nam 22004453 450 991086104060332120230814224739.01-970001-96-8(CKB)4100000006998338(MiAaPQ)EBC6954883(Au-PeEL)EBL6954883(EXLCZ)99410000000699833820220421d2018 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierDeclarative Logic Programming Theory, Systems, and ApplicationsSan Rafael :Morgan & Claypool Publishers,2018.©2019.1 online resourceACM books ;201-970001-98-4 1-970001-97-6 Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. The goal of this book is to help fill in the void in the literature with state-of-the-art surveys on key aspects of LP. Much attention was paid to making these surveys accessible to researchers, practitioners, and graduate students alike.ACM Bks.Logic programmingDeclarative programmingLogic programming.Declarative programming.Kifer Michael771605Liu Yanhong Annie1741335MiAaPQMiAaPQMiAaPQBOOK9910861040603321Declarative Logic Programming4167345UNINA