Declarative Logic Programming : Theory, Systems, and Applications

• Autore: Kifer Michael
• Pubblicazione: San Rafael : , : Morgan & Claypool Publishers, , 2018; ©2019
• Descrizione fisica: 1 online resource
• Soggetto topico: Logic programming; Declarative programming
• Altri autori: LiuYanhong Annie
• Sommario/riassunto: 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.
• Titolo autorizzato: Declarative Logic Programming
• ISBN: 1-970001-96-8
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910861040603321
• Lo trovi qui: Univ. Federico II
• Serie: ACM Bks.