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
1146
Laravel IoC Container
Laravel là một trong những khung ứng dụng web open-source hiện đại được sử dụng nhiều nhất, được sử dụng nhiều nhất. Nó cung cấp các tính năng độc đáo như Eloquent ORM, Query builder, Homestead là những tính năng hiện đại, chỉ có trong Laravel.
Tôi thích Laravel vì thiết kế kiến trúc độc đáo của nó. Đằng sau Laravel sử dụng các design pattern như Singleton, Factory, Builder, Facade, Strategy,...
Happy New Year
Laravel
IoC
2182
