LEADER 01854nam  22004453  450 
001 9910861040603321
005 20230814224739.0
010   $a1-970001-96-8
035   $a(CKB)4100000006998338
035   $a(MiAaPQ)EBC6954883
035   $a(Au-PeEL)EBL6954883
035   $a(EXLCZ)994100000006998338
100   $a20220421d2018      uy         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDeclarative Logic Programming $eTheory, Systems, and Applications
210  1$aSan Rafael :$cMorgan & Claypool Publishers,$d2018.
210  4$dİ2019.
215   $a1 online resource
225 0 $aACM books ;$v20
311   $a1-970001-98-4 
311   $a1-970001-97-6 
330   $aLogic 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.
410  0$aACM Bks.
606   $aLogic programming
606   $aDeclarative programming
615  0$aLogic programming.
615  0$aDeclarative programming.
700   $aKifer$b Michael$0771605
701   $aLiu$b Yanhong Annie$01741335
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910861040603321
996   $aDeclarative Logic Programming$94167345
997   $aUNINA