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.[1] 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
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 Eiter, 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 Lưu trữ 2008-12-04 tại Wayback Machine
- Association for Logic Programming (ALP)
- Theory and Practice of Logic Programming journal
- Logic programming in C++ with Castor
- Logic programming in Lưu trữ 2011-09-03 tại Wayback Machine Oz (programming language)
- Prolog Development Center
- Racklog: Logic Programming in Racket
🔥 Top keywords: Đài Truyền hình Kỹ thuật số VTCTrang ChínhGiỗ Tổ Hùng VươngTrương Mỹ LanĐặc biệt:Tìm kiếmHùng VươngVương Đình HuệUEFA Champions LeagueKuwaitChiến dịch Điện Biên PhủFacebookĐài Truyền hình Việt NamTrần Cẩm TúĐội tuyển bóng đá quốc gia KuwaitGoogle DịchViệt NamCúp bóng đá U-23 châu ÁCúp bóng đá U-23 châu Á 2024Real Madrid CFBảng xếp hạng bóng đá nam FIFACleopatra VIITô LâmTim CookNguyễn Phú TrọngHồ Chí MinhHai Bà TrưngManchester City F.C.VnExpressChủ tịch nước Cộng hòa xã hội chủ nghĩa Việt NamNguyễn Ngọc ThắngĐền HùngCúp bóng đá trong nhà châu Á 2024Võ Văn ThưởngOne PieceLịch sử Việt NamCuộc đua xe đạp toàn quốc tranh Cúp truyền hình Thành phố Hồ Chí Minh 2024Phạm Minh ChínhTikTokĐinh Tiên Hoàng