Lec 11-13. p.1
Lec 11-13
Lập trình logic
Prolog
Lec 11-13. p.2
Nội dung
◼Giới thiệu ngôn ngữ Prolog
◼Các kiểu dữ liệu sơ cấp
◼Sự kiện và luật trong Prolog
◼Kiểu dữ liệu cấu trúc của Prolog
◼Một số chương trình Prolog
Lec 11-13. p.3
Giới thiệu ngôn ngữ Prolog
◼Prolog là ngôn ngữ lập trình khai báo (declarative
language), thích hợp để giải quyết các bài toán
liên quan đến đối tượng và quan hệ giữa chúng
◼Prolog được sử dụng phổ biến trong lĩnh vực
TTNT
◼Một chương trình Prolog là sự đặc tả một vấn đề,
có thể được xem như một CSDL gồm các mệnh
đề Horn (sự kiện -fact hoặc luật -rule).
◼Nguyên lý lập trình của Prolog dựa trên mệnh đề
Horn.
Lec 11-13. p.4
Cú pháp ngôn ngữ Prolog
◼Chương trình Prolog là một CSDL gồm các mệnh
đề (clause), mỗi mệnh đề được xây dựng từ các
vị từ (predicat)
◼Một mệnh đề có thể là một sự kiện, luật hay câu
hỏi
◼Qui ước:
– Sự kiện: <...> (tương ứng với luật <...> :- true)
–Luật: <…> :-<…>
–Câu hỏi: ?-<…>
◼Chú thích được đặt giữa hai dấu /* và */ hoặc sau
ký hiệu %
Lec 11-13. p.5
Các kiểu dữ liệu trong Prolog
Kiểu dữ liệu
Số
Biến
Hằng
Kiểu phức hợp
Kiểu sơ cấp
Nguyên tửChuỗi ký tự
Các kiểu dữ liệu trong Prolog