您现在的位置是:源码地带 > 资源下载

用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士

  • 上传时间: 2014-01-18
  • 上传用户:liyusheng1983
  • 资源积分:2 下载积分
  • 标      签: 表示法

资 源 简 介

用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士,三个野人和一条船,修道士想用这条船把所有的人都运到河对岸,但要受到以下条件限制: (1) 修道士和野人都会划船,但船一次只能装运两个人。 (2) 在任何岸边,野人数不能超过修道士,否则修道士会被野人吃掉。 假定野人愿意服从任何一种过河安排,请规划出一种确保修道士安全的过河方案。要求写出所用谓词的定义、功能及变量的个体域。

相 关 资 源