Now we will show that the program B

Now we will show that the program B2
1. flies(X)

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

Bây giờ chúng ta sẽ thấy rằng chương trình B21. flies(X) < — bird(X), không ab(rl,X)2. bird(X) penguin(X)3. ab(r 1,X) penguin(X) cl.-ibird(X) < — Không bird(X) c2. ^Penguin(X) không penguin(X) c4. -iwounded-Bird(X) không wounded-bird(X) n 1. -iflies(X) penguin(X) B2 n2. -1 flies(X) -1 bird(X)■S2. Bird(X) woundedJ)ird(X)I2. AB (r 1, X) woundedJ)ird(X) fl. bird(tweety) < —/ 2. Penguin(Sam) < —/ 3. woundedJ)ird(john) < —

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

Bây giờ chúng ta sẽ thấy rằng chương trình B2
1. ruồi (X) <- chim (X), không ab (rl, X)
2. chim (X) chim cánh cụt (X)
3. ab (r 1, X) chim cánh cụt (X) cl. -ibird (X) <- không cầm (X) c2. ^ chim cánh cụt (X) không chim cánh cụt (X) c4. -iwounded-chim (X) không bị thương chim (X) n 1. -iflies (X) chim cánh cụt (X) B2 n2. -1 Ruồi (X) -1 chim (X)
■ s2. chim (X) woundedJ) IRD (X)
i2. ab (r 1, X) woundedJ) IRD (X) fl. chim (tweety) <-
/ 2. chim cánh cụt (sam) <-
/ 3. woundedJ) IRD (john) <-