In addition to allowing the user to

In addition to allowing the user to control database and subgoal ordering, Prolog, in another concession to efficiency, allows some explicit control
of backtracking. This is done with the cut operator, which is specified by an
exclamation point (! ). The cut operator is actually a goal, not an operator. As a
goal, it always succeeds immediately, but it cannot be resatisfied through backtracking. Thus, a side effect of the cut is that subgoals to its left in a compound
goal also cannot be resatisfied through backtracking. For example, in the goal

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

Ngoài việc cho phép người dùng để kiểm soát cơ sở dữ liệu và subgoal đặt hàng, Prolog, tại một giảm giá để hiệu quả, cho phép một số rõ ràng kiểm soátcủa backtracking. Điều này được thực hiện với các nhà điều hành cắt, được chỉ định bởi mộtdấu chấm điểm (!). Các nhà điều hành cắt là thực sự là một mục tiêu, không phải là một nhà điều hành. Như mộtmục tiêu, nó luôn luôn thành công ngay lập tức, nhưng nó không thể được resatisfied thông qua backtracking. Do đó, là một tác dụng phụ của việc cắt giảm subgoals bên trái của nó trong một hợp chấtmục tiêu cũng không thể được resatisfied thông qua backtracking. Ví dụ, trong mục tiêu

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

Ngoài việc cho phép người sử dụng để kiểm soát cơ sở dữ liệu và đặt hàng subgoal, Prolog, trong một thỏa hiệp với các hiệu quả, cho phép một số kiểm soát rõ ràng
của tùy ý. Điều này được thực hiện với các nhà điều hành cắt giảm, được chỉ định bởi một
dấu chấm than (!). Nhà điều hành cắt giảm thực sự là một mục tiêu, không phải là một nhà điều hành. Như một
mục tiêu, nó luôn luôn thành công ngay lập tức, nhưng nó không thể được resatisfied qua quay lại. Như vậy, một tác dụng phụ của việc cắt giảm là subgoals để nó lại trong một hợp chất
mục tiêu cũng không thể được resatisfied qua quay lại. Ví dụ, trong các mục tiêu