Lập trình logic

Lập trình logic là một mẫu hình lập trình dựa trên logic toán trong các mối quan hệ và các suy luận. Các chương trình được viết trong các Ngôn ngữ lập trình logic là các tập hợp câu logic, thể hiện sự thật và các luật về một vài vùng vấn đề nào đó. Cùng với các thuật toán suy luận, chúng hình thành nên chương trình. Các lập trình logic chính bao gồm Prolog và Datalog.

Xem thêm 
Datalog
Lập trình hàm
Logic mờ
Mẫu hình lập trình

Tham khảo

Nghiên cứu thêm
Carl Hewitt. Procedural Embedding of Knowledge In Planner IJCAI 1971.
Carl Hewitt. The repeated demise of logic programming and why it will be reincarnated What Went Wrong and Why: Lessons from AI Research and Applications. Technical Report SS-06-08. AAAI Press. March 2006.
Evgeny Dantsin, Thomas , Georg Gottlob, Andrei Voronkov: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3): 374-425 (2001)
Ulf Nilsson and Jan Maluszynski, Logic, Programming and Prolog

Liên kết ngoài 
Bibliographies on Logic Programming 
Association for Logic Programming (ALP)
Theory and Practice of Logic Programming journal
Logic programming in C++ with Castor
Logic programming in  Oz (programming language)
Prolog Development Center
Racklog: Logic Programming in Racket

Lập trình logic
Mẫu hình lập trình