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) 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.