Ngôn ngữ lập trình v logic
Ngôn ngữ lập trình logic thường được sử dụng để mô tả và giải quyết các vấn đề logic, như logic propositional và logic predicate. Một số ngôn ngữ lập trình logic phổ biến bao gồm Prolog, Datalog và Alloy. Đây là một số ví dụ về cú pháp trong ngôn ngữ lập trình logic Prolog:
1. Định nghĩa các quan hệ:
```prolog
parent(john, mary).
parent(john, lisa).
parent(mary, tom).
```
2. Sử dụng quy tắc:
```prolog
ancestor(X, Y) :- parent(X, Y).
ancestor(X, Y) :- parent(X, Z), ancestor(Z, Y).
```
3. Tra cứu thông tin:
```prolog
?- ancestor(john, tom).
```
Ngôn ngữ lập trình logic thường được sử dụng trong lĩnh vực trí tuệ nhân tạo, hệ thống chuyên gia, và các ứng dụng logic khác.