MÔ PHỎNG THUẬT TOÁN VƯƠNG HẠO TRONG PROLOG

1. Các luật suy diễn trong thuật toán Vương Hạo Luật 1: Chuyển vế các giả thuyết và kết luận ở dạng phủ định Ví dụ: p v q, !(r ^ s), !q, p v r -> s, !p <=> p v q, p v r, p -> s, r ^ s, q Luật 2: Thay dấu ^ thành dấu phẩy của giả thuyết Ví dụ: p ^ q, r ^ (!p v s) -> !q v !r <=> p, q, r, !p v s -> !q v !r Luật 3: Thay dấu v thành dấu phẩy của kết luận Ví dụ: p ^ q, r ^...

mô phỏng Simulating prolog Hao Wang Algorithm