Step 3: For each predicate q if the

Step 3: For each predicate q if there is no rule with q in its head in the program II then Comp II contains the rst order formula

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

Bước 3: Cho mỗi q predicate nếu không có quy tắc với q ở đầu của nó trong chương trình II sau đó Comp II chứa rst đặt công thức

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

Bước 3: Đối với mỗi q vị nếu không có quy tắc với q trong đầu của mình trong chương trình II sau đó Comp II chứa công thức tự đầu tiên