Tạo web siêu tốc độ với VuePress và Github Pages
Giới thiệu về VuePress
VuePress là một công cụ xây dựng web tĩnh (static page) được phát triển bởi Evan You, tác giả của Vue. VuePress được sinh ra để giảm thiểu thời gian xây dựng lên những trang blog, static web,.. khi mà không cần đến sự tương tác giữa client và server. Về căn bản thì website được xây dựng bằng VuePress là một SPA trên nền của Vue, Vue Router và webpack. Ngoài ra VuePress còn hỗ trợ...
VuePress
GitHub
May Fest
2084
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
1601
