Queries are called goals. When a go

Queries are called goals. When a goal is a compound proposition, each of
the facts (structures) is called a subgoal. To prove that a goal is true, the inferencing process must find a chain of inference rules and/or facts in the database that
connect the goal to one or more facts in the database. For example, if Q is the
goal, then either Q must be found as a fact in the database or the inferencing process must find a fact P1 and a sequence of propositions P2, P3, c , Pn such that

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

Truy vấn danh xưng trong tiếng Pháp là mục tiêu. Khi một mục tiêu là một đề xuất hợp chất, mỗisự kiện (cấu trúc) được gọi là một subgoal. Để chứng minh rằng một mục tiêu là đúng, quá trình inferencing phải tìm thấy một chuỗi các quy tắc suy luận và/hoặc sự kiện trong cơ sở dữ liệu màkết nối mục tiêu với một hoặc nhiều dữ kiện trong cơ sở dữ liệu. Thí duï, neáu Q là cácmục tiêu, sau đó hoặc là Q phải được tìm thấy như là một thực tế trong cơ sở dữ liệu hoặc quá trình inferencing phải tìm thấy một thực tế P1 và một chuỗi các đề xuất P2, P3, c, Pn như vậy mà

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

Truy vấn được gọi là mục tiêu. Khi một mục tiêu là một đề xuất hợp chất, mỗi
sự kiện (cấu trúc) được gọi là một subgoal. Để chứng minh rằng mục tiêu là sự thật, quá trình suy luận phải tìm một chuỗi các quy tắc suy luận và / hoặc sự kiện trong cơ sở dữ liệu
kết nối mục tiêu cho một hoặc nhiều sự kiện trong cơ sở dữ liệu. Ví dụ, nếu Q là các
mục tiêu, sau đó hoặc là Q phải được tìm thấy như là một thực tế trong các cơ sở dữ liệu hoặc các quá trình suy luận phải tìm một P1 thực tế và một chuỗi các mệnh đề P2, P3, c, Pn như vậy mà