It then instantiates X to the param

It then instantiates X to the parameter
of the found fact, say mike. Then, it attempts to prove that parent(mike,
shelley) is true. If it fails, it backtracks to the first subgoal, male(X) , and
attempts to resatisfy it with some alternative instantiation ofXor

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

Nó sau đó instantiates X vào tham sốmột thực tế hàng, nói mike. Sau đó, nó cố gắng để chứng minh rằng cha mẹ (mike,Shelley) là đúng sự thật. Nếu không, nó backtracks để subgoal đầu tiên, male(X), vàcố gắng để resatisfy nó với một số thay thế instantiation ofXor

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

Sau đó nó khởi tạo X để tham số
thực tế phát hiện, nói mike. Sau đó, nó cố gắng để chứng minh rằng cha mẹ (mike,
shelley) là đúng sự thật. Nếu thất bại, nó backtracks đến subgoal đầu tiên, nam (X), và
cố gắng để resatisfy nó với một số instantiation thay thế ofXor