We will now extend the program from

We will now extend the program from Example 2 by adding a “constraint”—a rule with the empty head. The effect of adding a constraint to an ASP program is to weed out the solutions satisfying the body of the constraint.

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

Chúng tôi bây giờ sẽ mở rộng chương trình từ ví dụ 2 bằng cách thêm một "hạn chế"-một quy tắc với người đứng đầu có sản phẩm nào. Effect thêm một hạn chế cho một chương trình ASP là để loại bỏ các giải pháp đáp ứng cơ thể của các hạn chế.

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

Bây giờ chúng ta sẽ mở rộng chương trình từ Ví dụ 2 bằng cách thêm một "hạn chế" -a quy tắc với đầu trống rỗng. Các e ff ect thêm một ràng buộc cho một chương trình ASP là để loại bỏ các giải pháp đáp ứng cơ thể của ràng buộc.