Prolog được sử dụng nhiều trong các ứng dụng của trí tuệ nhân tạo và ngôn ngữ học trong khoa học máy tính (đặc biệt là trong ngành xử lý ngôn ngữ tự nhiên vì đây là mục tiêu thiết kế ban đầu của nó). | Kỹ thuật lập trình Prolog 129 hơn thay vì sử dụng cặp đôi cut-fail người ta sử dụng not. Tuy nhiên phép phủ định not cũng không phải không gây ra những phiền phức cho người dùng. Nhiều khi sử dụng not không hoàn toàn chính xác với phép phủ định trong Toán học. Chẳng hạn nếu trong chương trình có định nghĩa quan hệ man mà ta đưa ra một câu hỏi đại loại như - not man marie . Khi đó Prolog sẽ trả lời No nếu đã có định nghĩa man marie trả lời Yes nếu chưa có định nghĩa như vậy. Tuy nhiên khi trả lời No không phải Prolog nói rằng Marie không phải là một người mà nói rằng Không tìm thấy trong chương trình thông tin để chứng minh Marie là một người . Khi thực hiện phép not Prolog không chứng minh trực tiếp mà tìm cách chứng minh điều ngược lại. Nếu chứng minh được Prolog suy ra rằng đích not thành công. Cách lập luận như vậy được gọi là giả thuyết về thế giới khép kín hypothesis of the enclosed world . Theo giả thuyết này thế giới khép kín có nghĩa là những gi tồn tại đúng đều nằm trong chương trình hoặc được suy ra từ chương trình. Những gì không nằm trong chương trình hoặc không thể suy ra từ chương trình thì sẽ là không đúng sai hay điều phủ định là đúng. Vì vậy cần chú ý khi sử dụng phủ định do thông thường người ta đã không giả thiết rằng thế giới là khép kín. Trong chương trình do thiếu khai báo mệnh đề man marie . nên Prolog không chứng minh được rằng Marie là một người. Sau đây là một ví dụ khác sử dụng phép phủ định not r a . q b . p X - not r X . Nếu đặt câu hỏi - q X p X . thì Prolog sẽ trả lời X b Yes Nhưng nếu đặt câu hỏi - p X q X . thì Prolog sẽ trả lời No Để hiểu được vì sao cùng một chương trình nhưng với hai cách đặt câu hỏi khác nhau lại có hai cách trả lời khác nhau ta cần tìm hiểu cách Prolog lập luận. 130 Lập trình lagich trong Prolog Trong trường hợp thứ nhất biến X được ràng buộc giá trị là b khi thực hiện đích q X . Tiếp tục thực hiện đích con p X nhờ ràng buộc X b đích not r X thoả mãn vì đích r b không thoả mãn Prolog trả lời Yes. Trái lại trong
