can be asked. The system will then

can be asked. The system will then attempt, through unification, to find an
instantiation of X that results in a true value for the goal.

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

có thể được yêu cầu. Hệ thống sẽ sau đó cố gắng, thông qua sự thống nhất, để tìm mộtinstantiation X mà kết quả trong một giá trị đích thực cho mục tiêu.

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

có thể được yêu cầu. Sau đó hệ thống sẽ cố gắng, thông qua sự thống nhất, để tìm một
instantiation của X mà kết quả là một giá trị đích thực cho mục tiêu.