Definition 3.3 /PAA92a] Let II be an extended logic program. S'(II) the seminormal ver¬sion of II is obtained by replacing each rule of the form (7) by the rule:
Định nghĩa 3.3 /PAA92a] để II có một chương trình kéo dài logic. S'(II) ver¬sion seminormal II là thu được bằng cách thay thế mỗi quy tắc của các hình thức (7) bởi các quy tắc:
Định nghĩa 3.3 / PAA92a] Hãy II là một chương trình logic mở rộng. S '(II) ver¬sion seminormal của II thu được bằng cách thay thế từng quy tắc của hình thức (7) bởi các quy tắc: