Declarative Logic Programming Theory, Systems, and Applications

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 stimu...

Full description

Saved in:
Bibliographic Details
Main Authors: Michael, Kifer, Liu, Yanhong
Format: eBook
Language:English
Published: San Rafael Association for Computing Machinery 2018
Edition:1
Subjects:
Declarative programming
Logic programming
ISBN:1970001968, 9781970001969
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first