Definition 3.1 Let II be an extende

Definition 3.1 Let II be an extended logic program without variables. For any set S of literals, let II5 be the logic program obtained from II by deleting

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

Định nghĩa 3.1 cho II có một chương trình kéo dài logic mà không có biến. Đối với bất kỳ thiết lập S của literals, cho II5 là chương trình logic thu được từ II bằng cách xóa bỏ

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

Định nghĩa 3.1 Hãy II là một chương trình logic mở rộng mà không cần biến. Đối với bất kỳ tập S các chữ, hãy II5 là chương trình logic thu được từ II bằng cách xóa