Forward chaining would search for a

Forward chaining would search for and find the first proposition. The goal
is then inferred by matching the first proposition with the right side of the second rule (father(X) ) through instantiation ofX to bob and then matching the
left side of the second proposition to the goal

Kết quả (Việt) 1:

Về phía trước loạt sẽ tìm kiếm và tìm thấy các đề xuất đầu tiên. Mục tiêusau đó suy ra bằng cách kết hợp các đề xuất đầu tiên với phía bên phải của quy tắc thứ hai (father(X)) thông qua instantiation ofX để bob và sau đó kết hợp cácbên trái của các đề xuất thứ hai đến mục tiêu

Kết quả (Việt) 2:

Forward chain sẽ tìm kiếm và tìm thấy những đề xuất đầu tiên. Mục tiêu
là sau đó suy ra bằng cách kết hợp các đề xuất đầu tiên với phía bên phải của các quy tắc thứ hai (cha (X)) thông qua instantiation OFX để bob và sau đó phù hợp với các
bên trái của đề xuất thứ hai đến mục tiêu