describes the partitions of the inp

describes the partitions of the input p into subsets q, r such that a is not in q. Given this program and the same input as in Example 2, dlv returns

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

Mô tả cuộc phân chia p nhập vào tập con q, r như vậy mà một không phải là q. Cho chương trình này và các đầu vào tương tự như trong ví dụ 2, dlv trả về

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

mô tả các phân vùng của p đầu vào thành các tập con q, r như vậy mà không phải là một trong q. Với chương trình này và các đầu vào tương tự như trong Ví dụ 2, lợi nhuận dlv