Câu ví dụ
- thêm câu ví dụ: 1 2 3 4 5 6 7 8
- Any program written in a logic programming language is a set
Bất kỳ chương trình nào được viết bằng ngôn ngữ lập trình logic là một tập - Prolog is a logic programming language.
Prolog là ngôn ngữ lập trình logic. - Constraint programming, compared to Logic programming
Lập trình cưỡng chế (constraint programming), so sánh với Lập trình Logic (logic programming) - A deductive database combines logic programming with a relational database.
Một cơ sở dữ liệu suy diễn kết hợp lập trình logic với cơ sở dữ liệu quan hệ. - In logic programming, a program consists of a set of axioms and rules.
Trong lập trình logic, một chương trình bao gồm một tập hợp các tiên đề và các luật.