1 option
Declarative Logic Programming : Theory, Systems, and Applications / Michael Kifer and Yanhong Annie Liu, editors.
- Format:
- Book
- Author/Creator:
- Michael, Kifer, Author.
- Series:
- ACM books ; Number 20.
- ACM books ; Number 20
- Language:
- English
- Subjects (All):
- Declarative programming.
- Logic programming.
- Physical Description:
- 1 online resource
- Edition:
- First edition.
- Place of Publication:
- [Place of publication not identified] : Association for Computing Machinery, [2018]
- Summary:
- 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.
- Contents:
- Declarative Logic Programming: Theory, Systems, and Applications
- Notes:
- Includes index.
- Description based on publisher supplied metadata and other sources.
- Description based on print version record.
- ISBN:
- 9781970001969
- 1970001968
- OCLC:
- 1055420111
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.