Formally, by an extended logic prog

Formally, by an extended logic program, n, we mean a collection of rules of the form

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

Chính thức, bởi một chương trình kéo dài logic, n, chúng tôi có nghĩa là một tập hợp các quy tắc của các hình thức

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

Về hình thức, bởi một chương trình logic mở rộng, n, chúng tôi có nghĩa là một tập hợp các quy tắc của các hình thức