Logic programming [
The book is an attempt to give you complete information and knowledge about logic programming
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Learning Press ,
2014
|
| Subjects: | |
| Online Access: | World Technologies |
Table of Contents:
- 1. Introduction to logic programming
- 2. Prolog
- 3. Negation as failure and stable model semantics
- 4. Answer set programming and abductive logic programming
- 5. Constraint logic programming
- 6. Linear logic
- 7. Datalog
- 8. SLD resolution and cut (logic programming)