the following sequence of events would take place: First, the inner goal would succeed, instantiating X to mary. Then, Prolog would attempt to satisfy the next goal:
theo trình tự của các sự kiện sẽ diễn ra: trước tiên, mục tiêu bên trong nàothành công, instantiating X để mary. Sau đó, Prolog sẽ cố gắng để đáp ứng cácmục tiêu tiếp theo:
các chuỗi sự kiện sẽ diễn ra: Thứ nhất, các mục tiêu bên trong sẽ thành công, instantiating X để mary. Sau đó, Prolog sẽ cố gắng để đáp ứng các mục tiêu tiếp theo: