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
2570
Function programming in Java 17
Functional interfaces:
Interface
Method
Return type
Supplier<T>
get()
T
Consumer<T>
accept(T)
void
<BiConsumer<T, U>
accept(T, U)
T
Predicate<T>
test(T)
boolean
BiPreidcate<T, U>
test(T, U)
boolean
Function<T, R>
apply(T)
R
BiFunction<T, U, R>
apply(T, U)
R
UnaryOperator<T>
apply(T)
T
BinaryOperator<T>
apply(T, T)
T
For setting development for Java 17, see...
Java
Maven
2925
