The resulting program B31. flies(X)

The resulting program B3
1. flies(X)

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

Kết quả chương trình B31. flies(X) < — bird(X), không ab(rl,X)2. bird(X) penguin(X)n 1. -1 flies(X) penguin(X) n2. -1 flies(X) -1 bird(X)■S2. Bird(X) thương J)ird(X) tầng bird(tweety)/ 2. Penguin(Sam) 3/ 3. wounded_bird(John) < — ab (r 1, X) không-iwounded-bird(X) ab (r 1, X) không ^penguin(X)^Penguin(X) -1 bird(X)-iwounded-Bird(X) -1 bird(X)

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

Các chương trình kết quả B3
1. ruồi (X) <- chim (X), không ab (rl, X)
2. chim (X) chim cánh cụt (X)
n 1. -1 ruồi (X) chim cánh cụt (X) n2. -1 Ruồi (X) -1 chim (X)
■ s2. chim (X) bị thương J) IRD (X) fl. chim (tweety)
/ 2. chim cánh cụt (sam) 3
/3. wounded_bird (john) <- ab (r 1, X) không -iwounded-chim (X) ab (r 1, X) không ^ chim cánh cụt (X)
^ chim cánh cụt (X) -1 chim (X)
-iwounded-chim ( X) -1 chim (X)