I. Foundations
1. Preliminaries
2. Definite Logic Programs
3. SLD-Resolution
4. Negation in Logic Programming
5. Towards Prolog: Cut and Arithmetic
II. Programming in Logic
6. Logic and Databases
7. Programming with Recursive Data Structures
8. Amalgamating Object- and Meta-language
9. Logic and Expert Systems
10. Logic and Grammars
11. Searching in a State-space
III. Alternative Logic Programming Schemes
12. Logic Programming and Concurrency
13. Logic Programs with Equality
14. Constraint Logic Programming
15. Query-answering in Deductive Databases
A. Bibliographical Notes
B. Basic Set Theory
C. Answers to Selected Exercises
Bibliography
Index
+ Tại sao không đăng ký được?
+ Tại sao click download lại bị nhắc đăng nhập? Tại sao không download được?
+ Lỗi download 99% vì sao?
Hãy xem ở đây.
Dịch vụ Thư viện
+ Để đăng ký nhận tài liệu qua email, hãy soạn tin theo cú pháp EK<ma_sach><noi_nhan>
Nhắn tới số 8677. Xem chi tiết.
+ Ngoài số lượt download cho phép mỗi ngày, bạn có thể yêu cầu thêm bằng cách soạn tin: EKD<username>
Nhắn tới các số 8577, 8677, 8777.
Chú ý xem hướng dẫn.