Lập trình logic là một mô hình lập trình máy tính trong đó các câu lệnh chương trình thể hiện các sự kiện và quy tắc về các vấn đề trong một hệ thống logic chính thức. Các quy tắc được viết dưới dạng các mệnh đề logic với đầu và thân; ví dụ: "H đúng nếu B1, B2 và B3 đúng." Sự kiện được thể hiện tương tự như các quy tắc, nhưng không có cơ thể; ví dụ: "H là đúng."

Một số ngôn ngữ lập trình logic như Datalog và ASP (Lập trình bộ trả lời) hoàn toàn là khai báo - chúng cho phép phát biểu về những gì chương trình nên thực hiện, không có hướng dẫn từng bước rõ ràng về cách thực hiện. Những người khác, chẳng hạn như Prolog, là sự kết hợp giữa khai báo và mệnh lệnh - chúng cũng có thể bao gồm các tuyên bố về thủ tục như "Để giải quyết H, giải quyết B1, B2 và B3."

Ngôn ngữ được sử dụng để lập trình logic

• Vắng mặt
• ALF (ngôn ngữ lập trình chức năng logic đại số).
• Thuật toán gỡ lỗi chương trình
• Alice
• Alma-0
• ASP (Lập trình bộ trả lời)
• CHIP
• Ciao
• CLACL
• CycL
• Dữ liệu
• Đại số
• DLV
• ECLiPSe
• Logic F
• Hệ thực vật-2
• Fril
• FuzzyCLIPS
• Gôdel
• Xin chào
• Janus
• Prolog
• Đăng nhập
• Hệ thống Maude
• thủy ngân
• Kim loại
• Hệ thống lập trình Mozart
• Oz
• Parlog
• Kế hoạch
• CHƯƠNG TRÌNH
• Prolog
• Prolog ++
• Prova
• .QL
• Ngôn ngữ người mẫu Rebeca
• ROOP
• SICStus Prolog
• SWI-Prolog
• ToonTalk
• Logic giao dịch
• Mười hai
• Hình ảnh trực quan
• XSB

Ngôn ngữ, Logic, mô hình, thuật ngữ lập trình