LẬP TRÌNH LOGIC: CÁC ĐẶC ĐIỂM VÀ VÍ DỤ - CÔNG NGHỆ - 2026

Các lập trình logic là một mô hình lập trình có sử dụng các mạch logic chứ không chỉ chức năng toán học để kiểm soát cách các sự kiện và quy định là quy định.

Thay vì một luồng điều khiển có cấu trúc cẩn thận ra lệnh khi nào thực thi và cách đánh giá các lệnh gọi hàm hoặc các lệnh khác, các quy tắc logic của chương trình được viết dưới dạng mệnh đề hoặc vị từ logic.

Ví dụ về lập trình logic trong Prolog. Nguồn: Bởi Kuldeepsheoran1 - ảnh chụp màn hình, CC BY-SA 3.0, wikimedia commons

Cách tiếp cận này, thường được sử dụng trong lập trình di truyền và tiến hóa, thường cho mô hình biết mục tiêu cần đạt được thay vì làm thế nào để đạt được mục tiêu đó.

Mỗi quy tắc chứa một tiêu đề và một nội dung với một lôgic được hình thức hóa, chứ không phải là một hàm toán học thực thi. Ví dụ: "Và là đúng (tiêu đề): nếu C1, C2 và C3 là đúng (nội dung)." Các dữ kiện hoặc kết quả được thể hiện mà không có nội dung, chẳng hạn như "Và nó là sự thật."

Tuy nhiên, với một số ngôn ngữ lập trình như Prolog, lập trình mệnh lệnh cũng có thể được đưa vào để cho mô hình biết cách giải quyết các vấn đề nhất định. Ví dụ: "Để giải Y, hãy thêm C1, C2 và C3."

Đặc điểm của lập trình logic

Lập trình logic về cơ bản khác với các chiến lược lập trình hiện có khác. Thay vì đưa ra hướng dẫn cho máy tính với chương trình, các mối quan hệ giữa các đối tượng được thiết lập. Bằng cách này, máy tính có thể lập luận các mối quan hệ này và do đó đạt được các giải pháp hợp lý.

Trong một chương trình logic có hai bộ mã chính: sự kiện và quy tắc. Các quy tắc được áp dụng vào thực tế để có được kiến ​​thức về môi trường.

Sự thật và suy luận logic

Các chương trình logic có thể được giải mã thông qua hai khái niệm quan trọng: sự thật và suy luận logic. Sự thật được đưa ra cho dù phép tính trong chương trình có đúng hay không, dưới sự thực hiện của các ký hiệu chương trình. Suy luận logic xác định xem một mệnh đề logic có phải là hệ quả của chương trình hay không.

Các hướng dẫn này sẽ luôn được hiểu là các câu và mệnh đề logic, kết quả của việc thực hiện chúng là hệ quả logic của các phép tính trong nó.

Logic bậc nhất

Nó là một nhánh của logic mệnh đề. Xem xét các đối tượng là đúng hay sai từ góc độ một phần của thế giới, được gọi là miền. Lập trình logic dựa trên sự tổng quát của logic bậc nhất.

Logic này được tạo thành từ cú pháp và ngữ nghĩa. Cú pháp là ngôn ngữ chính thức được sử dụng để diễn đạt các khái niệm. Mặt khác, ngữ nghĩa của công thức logic bậc nhất chỉ ra cách xác định giá trị thực của bất kỳ công thức nào.

Logic này dựa trên bảng chữ cái và ngôn ngữ bậc nhất, cũng như một tập hợp các tiên đề và quy tắc suy luận.

Hình thức tuyên bố

Nó là một tập con của logic bậc nhất. Nó có dạng chuẩn hóa trong đó một câu lệnh được xác định bằng tiền tố phổ quát hoặc chuỗi các định lượng phổ quát và một tập hợp các định lượng miễn phí trong mệnh đề.

Khi yêu cầu một truy vấn đến chương trình, phần nội dung của mệnh đề có phần đầu của nó trùng khớp sẽ được xem xét. Điều này cũng giống như áp dụng quy tắc suy luận trong logic.

Như một bước trong suy luận, hai mệnh đề được chọn có thuộc tính mà một mệnh đề chứa X không kết hợp (một nghĩa dương) và mệnh đề kia chứa một ¬X không kết hợp (một nghĩa phủ định). Những sự cân bằng này được gọi là bổ sung.

Từ hai mệnh đề ban đầu này, một mệnh đề phân giải mới được xây dựng bằng cách sử dụng tất cả các nghĩa đen, ngoại trừ các mệnh đề bổ sung.

Trí tuệ nhân tạo

Lập trình logic là một phương pháp luận được sử dụng để làm cho máy tính suy luận, vì nó hữu ích để biểu diễn tri thức. Logic được sử dụng để biểu diễn kiến ​​thức và suy luận để xử lý nó.

Logic được sử dụng để biểu diễn tri thức là dạng mệnh đề. Nó được sử dụng vì logic bậc nhất được hiểu rõ và có khả năng biểu diễn tất cả các vấn đề tính toán.

Prolog là một ngôn ngữ lập trình dựa trên các ý tưởng của lập trình logic. Ý tưởng của Prolog là làm cho logic giống như một ngôn ngữ lập trình.

Các ví dụ về lập trình logic

ví dụ 1

- Sự thật: Rubí là một con mèo.

- Quy tắc: tất cả các con mèo đều có răng.

- Tư vấn: Rubí có răng không?

- Kết luận: có.

Quy tắc "tất cả các con mèo đều có răng" có thể được áp dụng cho Ruby, vì có một sự thật nói rằng "Ruby là một con mèo." Ví dụ này không được viết với bất kỳ cú pháp nào cho một ngôn ngữ lập trình thực.

Ví dụ 2

Ví dụ này có thể được viết bằng Prolog, vì nó là một trong những ngôn ngữ lập trình logic phổ biến nhất:

- giống cái (alissa).

- nam tính (bobby).

- nam tính (carlos).

- giống cái (doris).

- son_of (doris, carlos).

- son_of (carlos, bobby).

- son_of (doris, alissa).

- father_of (F, P): - male (F), son_of (P, F).

Chương trình này trở nên khó đọc, vì Prolog khác biệt đáng kể so với các ngôn ngữ khác. Bất kỳ thành phần mã nào giống với "nữ tính (alissa)." nó là một sự thật.

Một quy tắc là "father_of (F, P): - male (F), child_of (P, F)". Ký hiệu ": -" có thể được đọc là "đúng nếu". Chữ in hoa có nghĩa là các biến có thể được áp dụng cho bất kỳ đối tượng nào, vì vậy F có thể là viết tắt của carlos, doris, alissa hoặc bobby. Mã này có thể được dịch là:

- Alissa là một phụ nữ.

- Bobby là đàn ông.

- Carlos là đàn ông.

- Doris là phụ nữ.

- Doris là con gái của Carlos.

- Carlos là con trai của Bobby.

- Doris là con gái của Alissa.

- «F là cha của P» là đúng nếu F là đàn ông và nếu P là con của F.

Truy vấn

Giả sử bạn muốn tham khảo chương trình để biết thêm thông tin. Bạn có thể tìm kiếm để yêu cầu tìm bố Bobby với ai:? - father_of (bobby, X). Hệ thống sẽ chỉ ra câu trả lời sau: X = Carlos.

Trong trường hợp này, một mối quan hệ đang được chuyển trong đó một trong các giá trị của nó là một biến. Những gì Prolog đã làm là áp dụng các đối tượng khác nhau vào mối quan hệ này cho đến khi một trong số chúng trở nên vững chắc về mặt logic.

Người cha duy nhất của Carlos là Bobby, và Bobby là nam. Điều này thỏa mãn quy tắc "father_of (F, P): - male (F), son_of (P, F)." Khi X bằng "carlos", logic là âm thanh.

Các yêu cầu khác

Các truy vấn tổng quát hơn khác có thể được thực hiện cho Prolog, khiến hệ thống tạo ra nhiều kết quả:

-? - parent_of (Cha mẹ, Con cái).

- Cha = bobby

- Con = Carlos

- Cha = Carlos

- Con = doris

Như đã thấy, lập trình logic không yêu cầu phải có thông tin mà alissa hoặc bobby là người để có được kiến ​​thức về chúng. Trên thực tế, không cần thiết phải chỉ ra rằng có một khái niệm được gọi là người.

Trong hầu hết các ngôn ngữ lập trình phi logic, bạn sẽ phải xác định những khái niệm này trước khi có thể viết chương trình xử lý thông tin về con người.

Người giới thiệu

1. AI sâu (2020). Lập trình Logic. Lấy từ: deepai.org.
2. Wikiversity (2020). Lý thuyết về Ngôn ngữ Lập trình / Lập trình Logic. Lấy từ: en.wikiversity.org.
3. Đại học Hoàng gia London (2006). Lập trình Logic. Lấy từ: doc.ic.ac.uk.
4. Jia-Huai You (2020). Giới thiệu về Lập trình Logic. Đại học Alberta. Lấy từ: eng.ucy.ac.cy.
5. Wiki C2 (2020). Lập trình Logic. Lấy từ: wiki.c2.com.