用謂詞表示法求解修道士和野人問題。在河的北岸有三個(gè)修道士、三個(gè)野人和一條船，修道士們想用這條船將所有的人都運(yùn)過河去，但要受到以下條件限制：
（1）修道士和野人都會(huì)劃船，但船一次只能裝運(yùn)兩個(gè)人。
（2）在任何岸邊，野人數(shù)不能超過修道士，否則修道士會(huì)被野人吃掉。
假定野人愿意服從任何一種過河安排，請(qǐng)規(guī)劃出一種確保修道士安全的過河方案。要求寫出所用謂詞的定義、功能及變量的個(gè)體域。

用謂詞表示法求解機(jī)器人摞積木問題。設(shè)機(jī)器人有一只機(jī)械手，要處理的世界有一張桌子，桌上可堆放若干相同的方積木塊。機(jī)械手有4個(gè)操作積木的典型動(dòng)作：從桌上揀起一塊積木；將手中的積木放到桌之上；在積木上再摞上一塊積木；從積木上面揀起一塊積木。積木世界的布局如下圖所示。

設(shè)有如下語句，請(qǐng)用相應(yīng)的謂詞公式分別把他們表示出來：
（1）有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花。
（2）有人每天下午都去打籃球。
（3）新型計(jì)算機(jī)速度又快，存儲(chǔ)容量又大。
（4）不是每個(gè)計(jì)算機(jī)系的學(xué)生都喜歡在計(jì)算機(jī)上編程序。
（5）凡是喜歡編程序的人都喜歡計(jì)算機(jī)。