For any predicate p occurring in II

For any predicate p occurring in II, let p' be a new predicate of the same arity. The atom p'{Xi,. . . , Xn) will be called the positive form of the negative literal ->p(Xi,. . ., Xn). Every positive literal is, by definition, its own positive form. The positive form of a literal L will be denoted by L+. II+ stands for the general logic program obtained from II by replacing each rule (7) by

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

Đối với bất kỳ predicate p xảy ra trong thứ HAI, cho phép p' là một vị ngữ mới của cùng một arity. Atom p'{Xi,..., Xn) sẽ được gọi là tích cực hình thức chữ tiêu cực -> p (Xi,..., Xn). Mỗi chữ tích cực là, theo định nghĩa, hình thức tích cực của riêng của nó. Dạng chữ L, tích cực sẽ được biểu thị bằng L +. II + là viết tắt của chương trình tổng hợp logic thu được từ II bằng cách thay thế mỗi quy tắc (7) bởi

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

Đối với bất kỳ p vị xảy ra trong II, chúng ta hãy p 'là một vị mới của arity cùng. Các nguyên tử p '{Xi ,. . . , Xn) sẽ được gọi là hình thức tích cực của các literal âm -..> P (Xi ,., Xn). Mỗi đen tích cực, theo định nghĩa, hình thức tích cực riêng của nó. Các hình thức tích cực của một L đen sẽ được ký hiệu là L +. II + là viết tắt của các chương trình logic chung thu được từ II bằng cách thay thế từng quy tắc (7) bởi