The following two rules formalize t

The following two rules formalize this in the language of extended logic programs:
-1 makeJop(X) -1 flies(X) makeJop(X) not -1 flies(X)
The complete program B5, as given below, 
-imakeJop(X)

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

Sau hai quy tắc này chính thức hóa trong ngôn ngữ của chương trình kéo dài logic:-1 makeJop(X) -1 flies(X) makeJop(X) không -1 flies(X)Chương trình hoàn chỉnh B5, như được đưa ra dưới đây, -imakeJop(X) < —-iflies(X) makeJop(X) không-iflies(X) flies(X) bird(X), không ab (r 1, X), không-iflies(X)2. bird(X) penguin(X) n 1. -iflies(X) penguin(X) n2. -iflies(X)-ibird(X)■S2. Bird(X) wounded-bird(X) Bs/l. bird(tweety) < —/ 2. Penguin(Sam) < —/ 3. woundedJ)ird(john) < — a6(rl,X) không ~-ipenguin(X)-ibird(X)-iwounded-Bird(X)-ibird(X)

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

Hai quy tắc sau đây chính thức hóa này trong ngôn ngữ của chương trình logic mở rộng:
-1 makeJop (X) -1 ruồi (X) makeJop (X) không -1 ruồi (X)
hoàn chỉnh B5 chương trình, như được đưa ra dưới đây, 
-imakeJop (X ) <- -iflies (X) makeJop (X) không -iflies (X) bay (X) chim (X), không ab (r 1, X), không -iflies (X)
2. chim (X) chim cánh cụt (X) n 1. -iflies (X) chim cánh cụt (X) n2. -iflies (X) -ibird (X)
■ s2. chim (X) bị thương-gia cầm (X) Bs
/ l. chim (tweety) <-
/ 2. chim cánh cụt (sam) <-
/ 3. woundedJ) IRD (john) <- a6 (rl, X) không ~-ipenguin (X) -ibird (X)
-iwounded-chim (X) -ibird (X)