Logic & máy tính
Prolog là gì: ngôn ngữ lập trình bằng sự kiện và luật suy diễn logic
Prolog là ngôn ngữ lập trình logic ra đời năm 1972 ở Marseille: khai báo sự kiện và luật, đặt câu hỏi, máy tự suy diễn bằng hợp nhất và quay lui để trả lời.