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

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

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