If the list argument to member repr

If the list argument to member represents a set, then it can be satisfied only
once (sets contain no duplicate elements). Therefore, if member is used as a
subgoal in a multiple subgoal goal statement, there can be a problem. The
problem is that if member succeeds but the next subgoal fails, backtracking will
attempt to resatisfy member by continuing a prior match. But because the list
argument to member has only one copy of the element to begin with, member
cannot possibly succeed again, which eventually causes the whole goal to fail,
in spite of any additional attempts to resatisfy member. For example, consider
the goal:

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

Nếu đối số danh sách thành viên đại diện cho một tập hợp, sau đó nó có thể được hài lòng chỉmột khi (bộ chứa không có yếu tố trùng lặp). Vì vậy, nếu thành viên được sử dụng như là mộtsubgoal trong một tuyên bố mục tiêu nhiều subgoal, có thể là một vấn đề. Cácvấn đề là nếu hội viên thành công nhưng tiếp theo subgoal thất bại, backtracking sẽcố gắng để resatisfy thành viên bằng cách tiếp tục một trận đấu trước. Nhưng bởi vì danh sáchcác đối số cho thành viên đã chỉ có một bản sao của các yếu tố để bắt đầu với, thành viênkhông thể có thể thành công một lần nữa, mà cuối cùng làm cho mục tiêu toàn bộ để thất bại,mặc dù bất kỳ nỗ lực bổ sung để resatisfy thành viên. Ví dụ, xem xétmục tiêu:

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

Nếu danh sách đối số thành viên đại diện cho một tập hợp, sau đó nó có thể được thỏa mãn chỉ
một lần (không chứa bộ các yếu tố trùng lặp). Do đó, nếu thành viên được sử dụng như một
subgoal trong một tuyên bố nhiều mục tiêu subgoal, có thể là một vấn đề. Các
vấn đề là nếu thành viên thành công nhưng subgoal tiếp theo thất bại, rút lui sẽ
cố gắng để resatisfy thành viên bằng cách tiếp tục một trận đấu trước. Nhưng vì danh sách
đối số thành viên chỉ có một bản sao của các yếu tố để bắt đầu với, thành viên
có thể không có thể thành công một lần nữa, mà cuối cùng gây ra toàn bộ mục tiêu thất bại,
bất chấp mọi nỗ lực thêm để resatisfy thành viên. Ví dụ, hãy xem xét
mục tiêu: