TAILIEUCHUNG - Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 2

Đến năm 1980, prolog nhanh chóng được áp dụng rộng rãi, đựoc người Nhật chọn làm ngôn ngữ phát triển máy tính thế hệ 5. Prolog đã dược cài đặt trên hầu hết các dòng máy tính unix/lunix, Macintosh, Windows. | 12 Lập trình lôgic trong Prolog được hiểu là Với mọi X và Y X là mẹ của Y nếu X là cha hay mẹ của Y và X là nữ. Đồ thị sau đây minh hoạ việc định nghĩa các quan hệ child mother và grandparent sử dụng một quan hệ khác Trong đồ thị người ta quy ước rằng các nút tương ứng với các đối tượng là các đối của một quan hệ . Các cung nối các nút tương ứng với các quan hệ nhị phân được định hướng từ đối thứ nhất đến đối thứ hai của quan hệ. Một quan hệ đơn được biểu diễn bởi tên quan hệ tương ứng với nhãn của đối tượng đó. Các quan hệ cần định nghĩa sẽ được biểu diễn bởi các cung có nét đứt. Mỗi đồ thị được giải thích như sau nếu các quan hệ được chỉ bởi các cung có nét liền được thoả mãn thì quan hệ biểu diễn bởi cung có nét đứt cũng được thoả mãn. parent child parent woman mother pare grandparent Hình . Định nghĩa quan hệ con mẹ và ông bà sử dụng một quan hệ khác. Như vậy quan hệ ông-bà grandparent được viết như sau grandparent X Z - parent X Y parent Y Z . Để thuận tiện cho việc đọc chương trình Prolog ta có thể viết một luật trên nhiều dòng dòng đầu tiên là phần đầu của luật các dòng tiếp theo là phần thân của luật mỗi đích trên một dòng phân biệt. Bây giờ quan hệ grandparent được viết lại như sau grandparent X Z -parent X Y parent Y Z . Ta tiếp tục định nghĩa quan hệ chị em gái sister như sau Với mọi X và Y X là một chị em gái của Y nếu 1 X và Y có cùng cha cùng mẹ và 2 X là nữ. sister X Y Mở đầu về ngôn ngữ Prolog 13 parent Z X parent Z Y woman X . woman Hình . Định nghĩa quan hệ chị em gái. Chú ý cách giải thích điều kiện X và Y có cùng cha mẹ một Z nào đó phải là một cha mẹ của X và cũng Z đó phải là một cha mẹ của Y. Hay nói một cách khác là Z1 là một cha mẹ của X Z2 là một cha mẹ của Y và Z1 đồng nhất với Z2. An là nữ Ann và Sue cùng cha mẹ nên Ann là chị em gái của Sue ta có - sister ann sue . Yes Ta cũng có thể hỏi ai là chị em gái của Sue như sau - sister X sue . Prolog sẽ lần lượt đưa ra hai câu trả lời X ann - X sue - . Yes Vậy thì Sue lại là em gái .

• Kỹ thuật lập trình
• Tài liệu lập trình
• thủ thuật lập trình
• Ngôn ngữ lập trình
• ngôn ngữ prolog
• chuẩn ISO
• ngôn ngữ máy tính
• Tài liệu IT
• Kiến thức lập trình
• Học lập trình
• Công cụ lập trình
• kĩ thuật lập trình
• hướng dẫn lập trình
• kĩ năng lập trình
• AutoIT