Proposition 3.2 suggests the follow

Proposition 3.2 suggests the following simple way of evaluating queries in extended logic programs. To obtain an answer for query p run queries p and p' on the program II+. If II+,s answer to p is yes then ITs answer to p is yes. If II+,s answer to p' is yes then ITs answer to p is no.

0/5000

Từ: -

Sang: -

Kết quả (Việt) 1: [Sao chép]

Sao chép!

Đề xuất 3,2 gợi ý theo cách đơn giản của việc đánh giá các truy vấn trong chương trình kéo dài logic. Để có được một câu trả lời cho truy vấn p chạy truy vấn p và p' trên các chương trình II +. Nếu II +, s trả lời để p là có thì câu trả lời của mình cho p là có. Nếu II +, s trả lời với p' là có, thì câu trả lời của mình cho p là không có.

đang được dịch, vui lòng đợi..

Kết quả (Việt) 2:[Sao chép]

Sao chép!

Dự 3.2 cho thấy cách đơn giản sau đây để đánh giá các truy vấn trong chương trình logic mở rộng. Để có được một câu trả lời cho truy vấn p chạy truy vấn p và p 'trên chương trình II +. Nếu II +, s câu trả lời cho p là có thì câu trả lời ITs để p là có. Nếu II +, s trả lời cho p 'là có thì câu trả lời ITs để p là không.

đang được dịch, vui lòng đợi..

Kết quả (Việt) 3:[Sao chép]

Sao chép!

đang được dịch, vui lòng đợi..

Các ngôn ngữ khác

Hỗ trợ công cụ dịch thuật: Albania, Amharic, Anh, Armenia, Azerbaijan, Ba Lan, Ba Tư, Bantu, Basque, Belarus, Bengal, Bosnia, Bulgaria, Bồ Đào Nha, Catalan, Cebuano, Chichewa, Corsi, Creole (Haiti), Croatia, Do Thái, Estonia, Filipino, Frisia, Gael Scotland, Galicia, George, Gujarat, Hausa, Hawaii, Hindi, Hmong, Hungary, Hy Lạp, Hà Lan, Hà Lan (Nam Phi), Hàn, Iceland, Igbo, Ireland, Java, Kannada, Kazakh, Khmer, Kinyarwanda, Klingon, Kurd, Kyrgyz, Latinh, Latvia, Litva, Luxembourg, Lào, Macedonia, Malagasy, Malayalam, Malta, Maori, Marathi, Myanmar, Mã Lai, Mông Cổ, Na Uy, Nepal, Nga, Nhật, Odia (Oriya), Pashto, Pháp, Phát hiện ngôn ngữ, Phần Lan, Punjab, Quốc tế ngữ, Rumani, Samoa, Serbia, Sesotho, Shona, Sindhi, Sinhala, Slovak, Slovenia, Somali, Sunda, Swahili, Séc, Tajik, Tamil, Tatar, Telugu, Thái, Thổ Nhĩ Kỳ, Thụy Điển, Tiếng Indonesia, Tiếng Ý, Trung, Trung (Phồn thể), Turkmen, Tây Ban Nha, Ukraina, Urdu, Uyghur, Uzbek, Việt, Xứ Wales, Yiddish, Yoruba, Zulu, Đan Mạch, Đức, Ả Rập, dịch ngôn ngữ.