The resulting program works properl

The resulting program works properly if it is used in conjunction with facts formed from predicates bird, penguin and woundedJbird. It is also possible to show that for any query / if B3 |= / then B2 |= /, i.e. B3 is correct w.r.t. £?2-
If, however, we allow facts of the form -1 flies(X), B3 may become inconsistent. In this case, inconsistency may be avoided by replacing the rule 1 by a weaker rule

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

Kết quả chương trình hoạt động đúng nếu nó được sử dụng kết hợp với sự kiện hình thành từ predicates chim, chim cánh cụt và woundedJbird. Nó cũng có thể thấy rằng đối với bất kỳ truy vấn / nếu B3 | = / sau đó B2 | = /, tức là B3 là chính xác w.r.t. £? 2 -Nếu, Tuy nhiên, chúng tôi cho phép các sự kiện của hình thức -1 flies(X), B3 có thể trở nên không phù hợp. Trong trường hợp này, mâu thuẫn có thể tránh được bằng cách thay thế quy tắc 1 bởi một quy tắc yếu

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

Các chương trình kết quả hoạt động đúng nếu nó được sử dụng kết hợp với các sự kiện hình thành từ các vị từ chim, chim cánh cụt và woundedJbird. Nó cũng có thể thấy rằng đối với bất kỳ truy vấn / nếu B3 | = / sau đó B2 | = /, tức là B3 là đúng wrt £ 2-
Tuy nhiên, nếu chúng ta cho phép sự kiện của mẫu -1 ruồi (X), B3 có thể trở nên không phù hợp. Trong trường hợp này, không nhất quán có thể tránh được bằng cách thay thế các quy tắc 1 bởi một quy tắc yếu