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à
đang được dịch, vui lòng đợi..
