問(wèn)答題

【簡(jiǎn)答題】用謂詞表示法求解農(nóng)夫、狼、山羊、白菜問(wèn)題。農(nóng)夫、狼、山羊、白菜全部放在一條河的左岸，現(xiàn)在要把他們?nèi)克偷胶拥挠野度ィr(nóng)夫有一條船，過(guò)河時(shí)，除農(nóng)夫外船上至多能載狼、山羊、白菜中的一種。狼要吃山羊，山羊要吃白菜，除非農(nóng)夫在那里。似規(guī)劃出一個(gè)確保全部安全過(guò)河的計(jì)劃。請(qǐng)寫出所用謂詞的定義，并給出每個(gè)謂詞的功能及變量的個(gè)體域。

答案：

微信掃碼免費(fèi)搜題