This goal statement is the simplest

This goal statement is the simplest kind. It is relatively easy for resolution to
determine whether it is true or false: The pattern of this goal is compared with
the facts and rules in the database. If the database includes the fact
16.6 The Basic Elements of Prolog 741
man(bob).
the proof is trivial. If, however, the database contains the following fact and
inference rule,
father(bob).
man(X) :- father(X).
Prolog would be required to find these two statements and use them to infer
the truth of the goal. This would necessitate unification to instantiate X
temporarily to bob.

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

Tuyên bố mục tiêu này là loại đơn giản nhất. Nó là tương đối dễ dàng nhất để giải quyếtxác định cho dù đó là đúng hay sai: các mô hình của mục tiêu này được so sánh vớiCác sự kiện và các quy tắc trong cơ sở dữ liệu. Nếu cơ sở dữ liệu bao gồm thực tế16.6 các yếu tố cơ bản của Prolog 741Man(Bob).bằng chứng là tầm thường. Nếu, Tuy nhiên, cơ sở dữ liệu có chứa một thực tế vàquy tắc suy luận,Father(Bob).Man(X):-father(X).Prolog sẽ được yêu cầu để tìm các báo cáo hai và sử dụng chúng để suy rasự thật của mục tiêu. Điều này sẽ đòi hỏi phải thống nhất để nhanh chóng Xtạm thời để bob.

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

Tuyên bố mục tiêu này là loại đơn giản nhất. Nó là tương đối dễ dàng để giải quyết để
xác định xem nó là đúng hay sai: Các mô hình của mục tiêu này được so sánh với
các sự kiện và qui định trong các cơ sở dữ liệu. Nếu cơ sở dữ liệu bao gồm một thực tế
16,6 Các yếu tố cơ bản của Prolog 741
người đàn ông (bob).
bằng chứng là tầm thường. Tuy nhiên, nếu cơ sở dữ liệu chứa các thực tế và sau
suy luận quy tắc,
người cha (bob).
người đàn ông (X): -. cha (X)
Prolog sẽ được yêu cầu để tìm hai báo cáo và sử dụng chúng để suy ra
sự thật của đối phương. Điều này đòi hỏi phải có sự thống nhất để nhanh chóng X
tạm thời để bob.