So far, we have described the Prolo

So far, we have described the Prolog statements for logical propositions, which
are used to describe both known facts and rules that describe logical relationships among facts. These statements are the basis for the theorem-proving
model. The theorem is in the form of a proposition that we want the system
to either prove or disprove. In Prolog, these propositions are called goals, or
queries. The syntactic form of Prolog goal statements is identical to that of
headless Horn clauses. For example, we could have

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

Cho đến nay, chúng tôi đã mô tả báo cáo Prolog cho các đề xuất hợp lý, màđược sử dụng để mô tả các sự kiện được biết đến và quy tắc mô tả mối quan hệ hợp lý giữa sự kiện. Các báo cáo này là cơ sở cho việc chứng minh định lýMô hình. Định lý là trong các hình thức của một đề xuất rằng chúng tôi muốn hệ thốngđể chứng minh hay bác bỏ. Ở Prolog, những đề xuất được gọi là mục tiêu, hoặctruy vấn. Dạng Prolog mục tiêu phát biểu, cú pháp là giống hệt nhau củakhông đầu Horn mệnh đề. Ví dụ, chúng tôi có thể có

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

Cho đến nay, chúng tôi đã mô tả các báo cáo Prolog cho mệnh đề logic, mà
được sử dụng để mô tả cả hai được biết sự thật và quy tắc mô tả mối quan hệ hợp lý giữa các sự kiện. Các báo cáo này là cơ sở cho định lý-minh
mô hình. Định lý là trong các hình thức của một đề xuất mà chúng tôi muốn hệ thống
hoặc là chứng minh hay bác bỏ. Trong Prolog, các mệnh đề được gọi là mục tiêu, hoặc
truy vấn. Các hình thức cú pháp của báo cáo mục tiêu Prolog là giống hệt với các
điều khoản Horn không đầu. Ví dụ, chúng ta có thể có