Câu ví dụ
- thêm câu ví dụ: 1 2 3 4 5 6 7 8
- 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. - Instead of logic programming, constraints can be mixed with functional programming, term rewriting, and imperative languages.
Thay vì lập trình logic, ràng buộc có thể được trộn lẫn với lập trình hàm, term rewriting system, và lập trình mệnh lệnh. - In 1972, logic programming and Prolog were developed thus allowing computer programs to be expressed as mathematical logic.
Lập trình logic và Prolog đã được phát triển cho phép các chương trình máy tính được biểu hiện như là logic toán học. - "Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler.
Logtalk là một ngôn ngữ lập trình hướng đối tượng, có thể sử dụng hầu hết các triển khai Prolog như một trình biên dịch back-end. - Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler.
Logtalk là một ngôn ngữ lập trình hướng đối tượng, có thể sử dụng hầu hết các triển khai Prolog như một trình biên dịch back-end.
