Logic programming language là gì?

Các ngôn ngữ lập trình logic (logic programming language) trong đó PROLOG được biết đến nhiều nhất, một chương trình là một tập hợp các quan hệ logic (ví dụ: ông bà là cha mẹ của cha mẹ của một người nào đó). Các ngôn ngữ như vậy tương tự như ngôn ngữ cơ sở dữ liệu (database language) SQL. Một chương trình được thực thi bởi một công cụ suy luận (inference engine) trả lời một truy vấn bằng cách tìm kiếm các quan hệ này một cách có hệ thống để đưa ra các suy luận sẽ trả lời một truy vấn. PROLOG đã được sử dụng rộng rãi trong xử lý ngôn ngữ tự nhiên (natural language processing) và các chương trình AI khác.