Lập trình logic

Bách khoa toàn thư mở Wikipedia
Bước tới: menu, tìm kiếm

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

Xem thêm[sửa | sửa mã nguồn]

Tham khảo[sửa | sửa mã nguồn]

  1. ^ Logic Programming, Eastern Mediterranean University.

Nghiên cứu thêm[sửa | sửa mã nguồn]

Liên kết ngoài[sửa | sửa mã nguồn]