1. Giới thiệu PROgramming in LOGic (sử dụng cách tiếp cận logic) Alain Calmerauer & Philippe Roussel, 1972 Dùng ngôn ngữ mô tả/khai báo (declarative language) để đặc tả vấn đề Ứng dụng nhiều trong xử lý ngôn ngữ tự nhiên và TTNT. Turbo Prolog, Visual Prolog, B-Prolog, SWIProlog, | Ngôn ngữ lập trình Prolog This is trial version 1 1. Giới thiệu PROgramming in LOGic sử dụng cách tiếp cận logic Alain Calmerauer Philippe Roussel 1972 Dùng ngôn ngữ mô tả khai báo declarative language để đặc tả vấn đề Ứng dụng nhiều trong xử lý ngôn ngữ tự nhiên và TtNt. Turbo Prolog Visual Prolog B-Prolog SWI-Prolog . This is trial version 2 2. Cú pháp Chương trình là tập các mô tả logic vị từ dưới dạng chuẩn Horn Không có cấu trúc điều khiển rẽ nhánh lặp Không có phép gán Vị từ được diễn giải thông qua sự kiện và luật kết thúc bằng ký tự . . Prolog trả lời các câu hỏi nhờ cơ chế suy luận dựa trên kiến thức được cung cấp This is trial version
