At this point neither rule SELECT-I

At this point neither rule SELECT-INSERT-SPACE nor INSERT-SPACE-DONE
will fire as the entry (GOAL insert space ) will make their conditions false. As
LINE is bound to 5 and COL is bound to 23, the condition ( TEST-CURSOR %LINE
%COL) will be false also, and hence only rule INSERT-SPACE-1 can fire.

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

Tại thời điểm này không loại trừ chọn chèn không gian cũng không chèn-không gian-thực hiệnsẽ bắn như các mục nhập (mục tiêu cheøn khoaûng traéng) sẽ làm cho điều kiện của họ sai. NhưDÒNG ràng buộc để 5 và COL là ràng buộc để 23, điều kiện (thử nghiệm-con trỏ % dòng% COL) sẽ là sai lầm cũng, và do đó chỉ quy tắc chèn-không gian-1 có thể bắn.

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

Tại thời điểm này không phải quy tắc CHỌN-INSERT-SPACE cũng không INSERT-SPACE-DONE
sẽ cháy như mục (GOAL gian chèn) sẽ tạo điều kiện của họ sai. Như
Line là ràng buộc để 5 và COL là ràng buộc đến 23, các điều kiện (TEST-CURSOR%
DÒNG% COL) sẽ là sai lầm cũng có, và vì thế chỉ trừ INSERT-SPACE-1 có thể cháy.